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