@conference {3388, title = {Using SPARK as a Solver for Modelica}, booktitle = {SimBuild 2008}, year = {2008}, month = {07/2008}, address = {Berkeley, CA, USA}, author = {Michael Wetter and Philip Haves and Michael A. Moshier and Edward F. Sowell} }