1. Environmental Protection Agency. 1999. Control of Air Pollution From New Motor Vehicles; Compliance Programs for New Light-Duty Vehicles and Light-Duty Trucks.National Archives (1999). https://www.federalregister.gov/documents/1999/05/04/99-9062/control-of-air-pollution-from-new-motor-vehicles-compliance-programs-for-new-light-duty-vehicles-and
2. Rajeev Alur and Thomas A. Henzinger. 1992. Logics and Models of Real Time: A Survey.Cornell University (1992). https://ecommons.cornell.edu/handle/1813/7102
3. Alexey Bakhirkin, Thomas Ferrère, Thomas A. Henzinger, and Deian Ničkovićl. 2018. The First-Order Logic of Signals.2018 International Conference on Embedded Software (EMSOFT) (2018). https://ieeexplore.ieee.org/document/8537203
4. Ezio Bartocci, Jyotirmoy Deshmukh, Alexandre Donzé, Georgios Fainekos, Oded Maler, Dejan Ničković, and Sriram Sankaranarayanan. 2018. Specification-Based Monitoring of Cyber-Physical Systems: A Survey on Theory, Tools and Applications.. In Lectures on Runtime Verification: Introductory and Advanced Topics (2018), Ezio Bartocci and Yliès Falcone (Eds.). Springer International Publishing, 135 – 175. https://link.springer.com/chapter/10.1007/978-3-319-75632-5_5
5. Borzoo Bonakdarpour, Jyotirmoy V. Deshmukh, and Miroslav Pajic. 2018. Opportunities and Challenges in Monitoring Cyber-Physical Systems Security.. In Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice (2018-10-30), Tiziana Margaria and Bernhard Steffen (Eds.). Vol. 11247. Springer International Publishing, 9 – 18. https://link.springer.com/chapter/10.1007/978-3-030-03427-6_2