@inproceedings{23435,
  author = {Michael Wetter and Philip Haves and Michael A Moshier and Edward F Sowell},
  title = {Using SPARK as a Solver for Modelica},
  year = {2008},
  journal = {SimBuild 2008},
  month = {07/2008},
  address = {Berkeley, CA, USA},
  language = {eng},
}