@inproceedings{NM07,
title = { AMT: A Property-Based Monitoring Tool for Analog Systems },
author = {Nickovic, Dejan and Maler, Oded},
year = {2007},
booktitle = {FORMATS},
pages = {304-319},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {4763},
team = {TEMPO},
}