1. Alur, R. (2015). Principles of cyber-physical systems. MIT Press.
2. Avizienis, A., et al. (2004). Basic concepts and taxonomy of dependable and secure computing. IEEE Transactions on Dependable and Secure Computing, 1(1), 11–33.
3. Burns, A., & Wellings, A. (2009). Real-time systems and programming languages: Ada, real-time Java and C/real-time POSIX. Addison-Wesley.
4. Buttazzo, G. (2004). Hard real-time computing systems: Predictable scheduling algorithms and applications. Springer.
5. Degani, A., Shafto, M., & Kirlik, A. (1995). Mode usage in automated cockpits: Some initial observations. In Proceedings of IFAC 1995 (pp. 1–13). IFAC Press.