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

by K G Larsen, M Mikucionis, B Nielsen
Venue:In FATES