%0 Conference Paper
%A Michael Wetter
%A Philip Haves
%A Michael A Moshier
%A Edward F Sowell
%B SimBuild 2008
%C Berkeley, CA, USA
%D 2008
%G eng
%T Using SPARK as a Solver for Modelica
%8 07/2008