Keywords: Statechart; Modelica; LMS Imagine.Lab AMESim
Proceedings of the 10th International Modelica Conference; March 10-12; 2014; Lund; Sweden
 David Harel. Statecharts: A visual formalism for complex systems, 1987.
 Sébastien Furic. Enforcing reliability of discretetime models in modelica. In Proceedings of the 8th International Modelica Conference, 2011.
 Albert Benveniste, Timothy Bourke, Benoît Caillaud, and Marc Pouzet. Non-standard semantics of hybrid systems modelers. Journal of Computer and System Sciences, 78(3):877 – 910, 2012.
 R. Hindley. The Principal Type-Scheme of an Object in Combinatory Logic. Transactions of the American Mathematical Society, 146:29–60, 1969.
 Luis Damas and Robin Milner. Principal typeschemes for functional programs. In Proceedings of the 9th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL ’82, pages 207–212, New York, NY, USA, 1982. ACM.