1. Formal verification of hybrid systems
2. Rajeev Alur, Costas Courcoubetis, Thomas A Henzinger, and Pei-Hsin Ho. 1992. Hybrid automata: An algorithmic approach to the specification and verification of hybrid systems. In Hybrid systems. Springer, 209--229.
3. Mani Amoozadeh, Hui Deng, Chen-Nee Chuah, H Michael Zhang, and Dipak Ghosal. 2015. Platoon management with cooperative adaptive cruise control enabled by VANET. Vehicular communications 2, 2 (2015), 110--123.
4. Limits for automatic verification of finite-state concurrent systems
5. Roderick P. Bloem Swen Jacobs Ayrat Khalimov Igor Konnov Sasha Rubin Helmut Veith and Josef Widder. 2015. Decidability of parameterized verification. Morgan and Claypool.