Uppaal implementation secrets (2002)

by Gerd Behrmann, Johan Bengtsson, Alexandre David, Kim G Larsen, Paul Pettersson, Wang Yi
Venue:of Lecture Notes in Computer Science