%0 Conference Proceedings
%F Benveniste2004b
%A Benveniste, A.
%A Caillaud, B.
%A Carloni, L.
%A Caspi, P.
%A Sangiovanni-Vincentelli, A.o
%T Heterogeneous Reactive Systems Modeling: Capturing Causality and the Correctness of Loosely Time-Triggered Architectures (LTTA)
%B Proceedings of the Fourth ACM International Conference on Embedded Software, EMSOFT'04
%I ACM Press
%U http://www.irisa.fr/s4/download/papers/ltta-emsoft-2004.pdf
%U http://doi.acm.org/10.1145/1017753.1017790
%8 September
%D 2004
%K synchrony