Implementing synchronous models on loosely time triggered architectures (0)

by S Tripakis, C Pinello, A Benveniste, A Sangiovanni-Vincent, P Caspi, M Di Natale
Venue:IEEE Trans. Comput