Extending uppaal for the modeling and verification of dynamic real-time systems (2013)

by A Boudjadar, F Vaandrager, J-P Bodeveix, M Filali
Venue:In FSEN 2013, LNCS