Source for Michel Tiller's Modelica Book