Albert Benveniste Benoît Caillaud Luca P. Carloni Paul Caspi Alberto L. Sangiovanni-Vincentelli Composing heterogeneous reactive systems. 2008 7 ACM Trans. Embedded Comput. Syst. 4 http://doi.acm.org/10.1145/1376804.1376811 db/journals/tecs/tecs7.html#BenvenisteCCCS08