Checking SCADE Models for Correct Usage of Physical Units (2006)

by Rupert Schlick, Wolfgang Herzner, Thierry Le Sergent
Venue:Lecture Notes in Computer Science