%0 Conference Proceedings
%F Benveniste2003c
%A Benveniste, A.
%A Caillaud, B.
%A Carloni, L.
%A Caspi, P.
%A Sangiovanni-Vincentelli, A.o
%T Causality and Scheduling Constraints in Heterogeneous Reactive Systems Modeling
%B FMCO 2003, Proceedings of the Second International Symposium on Formal Methods for Components and Objects
%V 3188
%P 1-16
%S Lecture Notes in Computer Science
%I Springer
%U http://www.irisa.fr/s4/s4/download/papers/Benveniste-fmco2003.pdf
%U http://dx.doi.org/10.1007/978-3-540-30101-1_1
%D 2003
%K synchrony