P. Aronsson and D. Broman, "Extendable Physical Unit Checking with Understandable Error Reporting," in Proc. 7th Modelica Conf. (Como, Italy), Modelica Assoc., Sep. 2009.