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