Testing real-time systems using UPPAAL. (2008)

by A Hessel, K Larsen, M Mikucionis, B Nielsen, P Pettersson, A Skou
Venue:In Proceedings of Formal Methods and Testing,