M. Heitz

Toward polychronous analysis and validation for timed software architectures in AADL

Maurice Heitz, Paul Le Guernic, Thierry Gautier, 2013, 2013 Design, Automation & Test in Europe Conference & Exhibition (DATE).