@inproceedings{BCC+04a,
title = {Heterogeneous Reactive Systems Modeling: capturing causality and the correctness of loosely time-triggered protocols },
author = {Benveniste, Albert and Caillaud, Beno\^it and Carloni, Lucas and Caspi, Paul and Sangiovanni-Vincentelli, Alberto L.},
year = {2004},
booktitle = {Emsoft04},
publisher = {ACM},
team = {SYNC},
}