UPPAAL implementation secrets (2002)

by G Behrmann, J Bengtsson, A David, K G Larsen, P Pettersson, W Yi
Venue:In Formal Techniques in Real-Time and Fault Tolerant Systems