S. E. Mattsson and H. Elmqvist, "Unit Checking and Quantity Conservation," in Modelica Conf. (Bielefeld, Germany), Modelica Assoc., Mar. 2008