Wetter, Michael, Philip  Haves, Michael A Moshier, and Edward F Sowell. "Using SPARK as a solver for Modelica." Proc. of the 3rd SimBuild Conference 2008. LBNL-634E.

Wetter, Michael, Philip  Haves, Michael A Moshier, and Edward F Sowell. "Using SPARK as a Solver for Modelica." SimBuild 2008. Berkeley, CA, USA, 2008.