1. Dumitrache, I.: The next generation of cyber-physical systems. J. Control Eng. Appl. Inf. 12(2), 3–4 (2010)
2. Foundations for Innovation: Strategic R&D Opportunities for 21st Century Cyber-Physical Systems. https://www.nist.gov/el/upload/12-Cyber-Physical-Systems020113_final.pdf. Last accessed 1 Aug 2021
3. Bhatia, G., Lakshmanan, K., Rajkumar, R., Bhatia, G.: An end-to-end integration framework for automotive cyber-physical systems using Sysweaver. In: The First Analytic Virtual Integration of Cyber-Physical Systems Workshop, pp. 23–30, San Diego, CA (2010)
4. Loos, S., Platzer, A., Nistor, L.: Adaptive cruise control: hybrid, distributed, and now formally verified. In: Butler, M., Schulte, W. (eds.) FM 2011: Formal Methods. Lecture Notes in Computer Science, vol. 6664, pp. 42–56. Springer, Berlin, Heidelberg (2011)
5. Smaldone, S., Tonde, C., Ananthanarayanan, V., Elgammal, A., Iftode, L.: The cyber-physical bike: A step towards safer green transportation. In: Proceedings of the 12th Workshop on Mobile Computing Systems and Applications, pp. 56–61. Association for Computing Machinery, Phoenix, AZ (2011)