Online testing of real-time systems using UPPAAL (2004)

by K G Larsen, M Mikucionis, B Nielsen
Venue:in: Grabowski and Nielsen