Composing heterogeneous reactive systems

Albert Benveniste, BenoƮt Caillaud, Luca P. Carloni, Paul Caspi, Alberto L. Sangiovanni-Vincentelli. Composing heterogeneous reactive systems. ACM Trans. Embedded Comput. Syst., 7(4), 2008. [doi]

Abstract

Abstract is missing.