1. Principles of cyber-physical systems;Alur,2015
2. A comprehensive survey on modeling of cyber-physical systems;Graja;Concurr. Comput.,2018
3. System modeling using the Parallel DEVS formalism and the Modelica language;Sanz;Simul. Model. Pract. Theory,2010
4. Hybrid system modeling using the SIMANLib and ARENALib Modelica libraries;Sanz;Simul. Model. Pract. Theory,2013
5. U. Pohlmann, M. Tichy, Modelica code generation from ModelicaML state machines extended by asynchronous communication, in: Proceedings of the 4th International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools, 2011, pp. 75–84.