@article{MN12,
title = {Monitoring Properties of Analog and Mixed-Signal Designs, },
author = {Maler, Oded and Nickovic, Dejan},
year = {2012},
journal = {Software Tools for Technology Transfer},
team = {TEMPO},
}
