TY - CONF T1 - Using SPARK as a Solver for Modelica T2 - SimBuild 2008 Y1 - 2008 A1 - Michael Wetter A1 - Philip Haves A1 - Michael A. Moshier A1 - Edward F. Sowell JF - SimBuild 2008 CY - Berkeley, CA, USA ER -