Composing heterogeneous reactive systems

by Albert Benveniste , Luca P. Carloni , Paul Caspi
Venue:ACM Trans. Embedded Comput. Syst
Citations:16 - 4 self