Heterogeneous reactive systems modeling: capturing causality and the correctness of loosely time-triggered architectures (LTTA).

Albert Benveniste, Benot Caillaud, Luca P. Carloni, Paul Caspi, Alberto L. Sangiovanni-Vincentelli

Browse the full EMSOFT paper archive.