A tutorial on uppaal (2004)

by Gerd Behrmann, Alexandre David, Kim G. Larsen