W.: UPPAAL: A tool suite for automatic verification of real-time systems. (1996)

by J Bengtsson, K Larsen, F Larsson, P Pettersson, Yi
Venue:Hybrid Systems III, LNCS,