1. Kim, J.E., Mosse, D.: Generic framework for design, modeling and simulation of cyber physical systems. ACM SIGBED Rev. 5, 1 (2008)
2. Cárdenas, A.A., Amin, S., Sastry, S.: Research challenges for the security of control systems. In: HotSec (2008)
3. Lee, E.A.: Cyber-physical systems-are computing foundations adequate. In: Position Paper for NSF Workshop on Cyber-Physical Systems: Research Motivation, Techniques and Roadmap, vol. 2. Citeseer (2006)
4. Rajhans, A., Bhave, A., Ruchkin, I., Krogh, B.H., Garlan, D., Platzer, A., Schmerl, B.: Supporting heterogeneity in cyber-physical systems architectures. IEEE Trans. Autom. Control 59, 3178–3193 (2014)
5. Tariq, M.U., Florence, J., Wolf, M.: Design specification of cyber-physical systems: towards a domain-specific modeling language based on simulink, eclipse modeling framework, and giotto. In: Proceedings of the 7th International Workshop on Model-based Architecting, pp. 6–15 (2014)