UPPAAL implementation secrets,” in (2002)

by G Behrmann, J Bengtsson, A David, K G Larsen, P Pettersson, W Yi
Venue:Proc. of 7th International Symposium on Formal Techniques in Real-Time and Fault Tolerant Systems,