Heterogeneous reactive systems modeling and correct-by-construction deployment (2003)

by A Benveniste, L Carloni, P Caspi, A Sangiovanni-Vincentelli
Venue:In EMSOFT