Lattmann, Z. ., Pop, A. ., de Kleer, J. ., Fritzson, P. ., Janssen, B. ., Neema, S. ., … Kurtoglu, T. . (2014). Verification and Design Exploration through Meta Tool Integration with OpenModelica. 10th International Modelica Conference. Lund University, Solvegatan 20A, SE-223 62 LUND, SWEDEN: Modelica Association and Linkoping University Electronic Press. (Original work published March 2014)