@misc {IOPORT.70279856,
    author       = {Nickovic, Dejan and Maler, Oded},
    title        = {AMT: A property-based monitoring tool for analog systems},
    howpublished = {FORMATS, 304-319 (2007).},
    year         = {2007},
    doi          = {10.1007/978-3-540-75454-1_22},
    identifier   = {70279856},
}