R.: A Real-Time Execution Semantics for UML Activity Diagrams (2001)

by R Eshuis, Wieringa
Venue:In Proc. FASE 2001