A Tutorial on Uppaal (2004)

by Gerd Behrmann, Re David, Kim G Larsen