Uppaal implementation secrets (2002)

by Gerd Behrmann, Johan Bengtsson, Alexandre David, Kim G Larsen, Paul Pettersson, Wang Yi
Venue:In Proc. of 7th International Symposium on Formal Techniques in Real-Time and Fault Tolerant Systems