A Tutorial on Uppaal (2004)

by Gerd Behrmann, Alexandre David, Kim G Larsen
Venue:Formal Methods for the Design of Real-Time Systems, Lecture Notes in Computer Science