1. Blech, J.O., Spichkova, M., Peake, I.D., Schmidt, H.W.: Cyber-virtual systems - simulation, validation and visualization. In: Filipe, J., Maciaszek, L.A. (eds.) ENASE 2014 - Proceedings of the 9th International Conference on Evaluation of Novel Approaches to Software Engineering, Lisbon, Portugal, 28–30 April 2014, pp. 218–225. SciTePress (2014)
2. Schlager, M.: Hardware-in-the-loop simulation (2008)
3. Isermann, R., Schaffnit, J., Sinsel, S.: Hardware-in-the-loop simulation for the design and testing of engine-control systems. Control Eng. Pract. 7, 643–653 (1999)
4. Basu, A., Bozga, M., Sifakis, J.: Modeling heterogeneous real-time components in BIP. In: 4th IEEE International Conference on Software Engineering and Formal Methods (SEFM), pp. 3–12. IEEE (2006)
5. Donath, U., Haufe, J., Blochwitz, T., Neidhold, T.: A new approach for modeling and verification of discrete control components within a modelica environment (2008)