AMT: a property-based monitoring tool for analog systems
D. Nickovic, O. Maler, in:, Springer, 2007, pp. 304–319.