Authors: Cabodi, G Camurati, P Passerone, C Quer, S

Citation: G. Cabodi et al., Exploiting timed transition relations in sequential cycle-based simulationof embedded systems, IEE P-COM D, 147(5), 2000, pp. 305-312

Authors: Cuatto, T Passerone, C Sansoe, C Gregoretti, F Jurecska, A Sangiovanni-Vincentelli, A

Citation: T. Cuatto et al., A case study in embedded systems design: An Engine Control Unit, DES AUTOM E, 6(1), 2000, pp. 71-88