D. Broman and P. Aronsson and P. Fritzson, "Design Considerations for Dimensional Inference and Unit Consistency Checking in Modelica," in Proc. 6th Modelica Conf. (Bielefeld, Germany), Modelica Assoc., Mar. 2008.