@proceedings {4628,
	title = {Verification and Design Exploration through  Meta Tool Integration with OpenModelica},
	journal = {10th International Modelica Conference},
	volume = {Proceedings of the 10th International Modelica Conference},
	year = {2014},
	month = {03/2014},
	pages = {353-362},
	publisher = {Modelica Association and Linkoping University Electronic Press},
	address = {Lund University, Solvegatan 20A, SE-223 62 LUND, SWEDEN},
	keywords = {AVM},
	isbn = { 978-91-7519-380-9},
	attachments = {https://archive.isis.vanderbilt.edu/sites/default/files/Modelica2014_ecp14096037.pdf},
	author = {Zsolt Lattmann and Adrian Pop and Johan de Kleer and Peter Fritzson and Bill Janssen and Neema, Sandeep and Bapty, Ted and Koutsoukos, Xenofon and Matthew Klenk and Daniel Bobrow and Bhaskar Saha and Tolga Kurtoglu}
}
