1. Specification-based monitoring of cyber-physical systems: A survey on theory, tools and applications;Bartocci,2018
2. Monitoring properties of analog and mixed-signal circuits;Maler;Int. J. Softw. Tools Technol. Transf.,2013
3. Robustness of temporal logic specifications for continuous-time signals;Fainekos;Theoret. Comput. Sci.,2009
4. Specification-based testing with linear temporal logic;Tan,2004
5. Interface-aware signal temporal logic;Ferrère,2019