Generating Modelica Models from Software Specifications for the Simulation of Cyber-physical Systems - Pohlmann, Uwe; Holtmann, Jörg; Meyer, Matthias; Gerking, Christopher (Proceedings of the 40th Euromicro Conference on Software Engineering and Advanced Applications (SEAA))