Specification of the Modelica Language - View it on GitHub