Source for Mr. Tiller's Modelica Book