B.: Online Testing of Real-Time Systems using Uppaal (2005)

by K Larsen, M Mikucionis, Nielsen
Venue:FATES 2004. LNCS