Rupert Schlick Wolfgang Herzner Thierry Le Sergent Checking SCADE Models for Correct Usage of Physical Units. 358-371 2006 conf/safecomp/2006 SAFECOMP http://dx.doi.org/10.1007/11875567_27 db/conf/safecomp/safecomp2006.html#SchlickHS06