@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}
}
