UPPAAL - a Tool Suite for Automatic Verification of Real-Time Systems (1996)

by Johan Bengtsson, Kim Larsen, Fredrik Larsson, Paul Pettersson, Wang Yi