This page in English
SucheModel Checking Timed UML State Machines and Collaborations
Alexander Knapp, Stephan Merz, Christopher Rauh
In: Werner Damm, Ernst Rüdiger Olderog (Hgg.). Proc. 7th Int. Symp. Formal Techniques in Real-Time and Fault Tolerant Systems (FTRTFT'02). Lect. Notes Comp. Sci. 2469, Springer, Berlin, 2002. S. 395-416