Timed Automata Rajeev Alur University of Pennsylvania alur/ SFM-RT, Bertinoro, Sept 2004.
Introduction to Formal Methods for SW and HW Development 11 - Timed and Hybrid Systems: Formal Modeling and Verification Roberto Sebastiani Based mostly.
Modelling and Analysis of Real Time Systems Kim Guldstrand Larsen
1 Timed and Hybrid Systems in UPPAAL2k Kim Guldstrand Larsen BRICS@Aalborg Paul Pettersson BRICS@Aalborg & DoCS@Uppsala.
Hybrid Systems Modeling