1. Lee, E.A., Seshia, S.A.: Introduction to Embedded Systems: A Cyber-Physical Systems Approach (2016)
2. Mitra, S.: Verifying cyber-physical systems: a path to safe autonomy (2021)
3. Alur, R.: Principles of Cyber-Physical Systems (2015)
4. Quigley, M., Conley, K., Gerkey, B., Faust, J., Foote, T., Leibs, J., Wheeler, R., Ng, A.Y.: Ros: an open-source robot operating system. In: ICRA Workshop on Open Source Software, vol. 3, p. 5. Kobe, Japan (2009)
5. Sha, L.: Using simplicity to control complexity. IEEE Softw. 4, 20–28 (2001)