Rupert Schlick, Wolfgang Herzner, Thierry Le Sergent. Checking SCADE Models for Correct Usage of Physical Units. In Janusz Górski, editor, Computer Safety, Reliability, and Security, 25th International Conference, SAFECOMP 2006, Gdansk, Poland, September 27-29, 2006, Proceedings. Volume 4166 of Lecture Notes in Computer Science, pages 358-371, Springer, 2006. [doi]
Abstract is missing.