Model checking timed UML state machines and collaborations,” (2002)

by A Knapp, S Merz, C Rauh
Venue:in Formal Techniques in Real-Time and Fault-Tolerant Systems, ser. LNCS, W. Damm and E.-R. Olderog, Eds.,