Authors: Katoen, JP Baier, C Latella, D

Citation: Jp. Katoen et al., Metric semantics for true concurrent real time, THEOR COMP, 254(1-2), 2001, pp. 501-542

Authors: Bondavalli, A Fantechi, A Latella, D Simoncini, L

Citation: A. Bondavalli et al., Design validation of embedded dependable systems, IEEE MICRO, 21(5), 2001, pp. 52-62

Authors: Bondavalli, A Dal Cin, M Latella, D Majzik, I Pataricza, A Savoia, G

Citation: A. Bondavalli et al., Dependability analysis in the early phases of UML-based system design, COMP SYS SC, 16(5), 2001, pp. 265-275

Authors: Cuellar, J Gnesi, S Latella, D

Citation: J. Cuellar et al., Special issue on formal methods in industry - Foreword, SCI COMP PR, 36(1), 2000, pp. 1-3