Uppaal in a nutshell (1997)

by Kim G Larsen, Paul Pettersson, Wang Yi
Venue:Journal of Software Tools for Technology Transfer (STTT