| Title | Verification and Design Exploration through Meta Tool Integration with OpenModelica |
| Publication Type | Conference Proceedings |
| Year of Conference | 2014 |
| Authors | Lattmann, Z., A. Pop, J. de Kleer, P. Fritzson, B. Janssen, S. Neema, T. Bapty, X. Koutsoukos, M. Klenk, D. Bobrow, B. Saha, and T. Kurtoglu |
| Refereed Designation | Does Not Apply |
| Conference Name | 10th International Modelica Conference |
| Series Title | Linkoping Electronic Conference Proceedings, No 96 |
| Volume | Proceedings of the 10th International Modelica Conference |
| Pagination | 353-362 |
| Date Published | 03/2014 |
| Publisher | Modelica Association and Linkoping University Electronic Press |
| Conference Location | Lund University, Solvegatan 20A, SE-223 62 LUND, SWEDEN |
| ISBN Number | 978-91-7519-380-9 |