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