UPPAAL in a Nutshell (1997)

by Kim G. Larsen, Paul Pettersson, Wang Yi