@inproceedings{4368,
  abstract     = {In this paper we describe AMT, a tool for monitoring temporal properties of continuous signals. We first introduce Stl/Psl, a specification formalism based on the industrial standard language Psl and the real-time temporal logic Mitl, extended with constructs that allow describing behaviors of real-valued variables. The tool automatically builds property observers from an Stl/Psl specification and checks, in an offline or incremental fashion, whether simulation traces satisfy the property. The AMT tool is validated through a Flash memory case-study.},
  author       = {Nickovic, Dejan and Maler, Oded},
  booktitle    = {5th International Conference on Formal Modeling and Analysis of Timed Systems},
  location     = {Salzburg, Austria},
  pages        = {304 -- 319},
  publisher    = {Springer},
  title        = {{AMT: A property-based monitoring tool for analog systems}},
  doi          = {10.1007/978-3-540-75454-1_22},
  volume       = {4763},
  year         = {2007},
}