1. 1. E.A. Lee, «Cyber physical systems: Design challenges,» Center for Hybrid and Embedded Software Systems, EECS University of California, Berkeley, CA 94720, USA, Tech. Rep. UCB/EECS-2008-8, Jan. 2008, p. 10. [Online]. Avail- able: https://www2.eecs.berkeley.edu/Pubs/TechRpts/2008/ EECS-2008-8.pdf.
2. 2. J. Lee, B. Bagheri, and H.-A. Kao, «A cyber-physical systems architecture for industry 4.0-based manufacturing systems,» Manufacturing Letters, vol. 3, pp. 18 - 23, 2015, ISSN: 2213- 8463.
3. 3. K.-D. Kim and P.R. Kumar, «Cyber-physical systems: A perspective at the centennial,» Proceedings of the IEEE, vol. 100, no. Special Centennial Issue, pp. 1287 - 1308, May 2012.
4. 4. A. Platzer, «Differential dynamic logic for hybrid systems.,» J. Autom. Reas., vol. 41, no. 2, pp. 143 - 189, 2008, ISSN: 0168-7433.
5. 5. Logical Foundations of Cyber-Physical Systems. Springer International Publishing, 2018.