C. Richter, J. Weber, F. Ohser, and T. Beutlich. Modelica, volume 132 of Linköping Electronic Conference Proceedings, page 132:098. Linköping University Electronic Press, (2017)
M. Richter, J. Hermes, and C. Neuefeind. ICAART (Revised Selected Papers), volume 11352 of Lecture Notes in Computer Science, page 467-491. Springer, (2018)