---
res:
  bibo_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.@eng
  bibo_authorlist:
  - foaf_Person:
      foaf_givenName: Dejan
      foaf_name: Nickovic, Dejan
      foaf_surname: Nickovic
      foaf_workInfoHomepage: http://www.librecat.org/personId=41BCEE5C-F248-11E8-B48F-1D18A9856A87
  - foaf_Person:
      foaf_givenName: Oded
      foaf_name: Maler, Oded
      foaf_surname: Maler
  bibo_doi: 10.1007/978-3-540-75454-1_22
  bibo_volume: 4763
  dct_date: 2007^xs_gYear
  dct_language: eng
  dct_publisher: Springer@
  dct_title: 'AMT: A property-based monitoring tool for analog systems@'
...