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)