Model Checking Timed UML State Machines and Collaborations (2002)

by A Knapp, S Merz, C Rauh
Venue:in Proc. FTRTFT 2002, 7th International Symposium on Formal Techniques in Real-Time and Fault Tolerant Systems. Springer LNCS