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