Checking the Validity of Scenarios in UML Models
H. Rasch, H. Wehrheim, in: M. Steffen, G. Zavattaro (Eds.), Formal Methods for Open Object-Based Distributed Systems, 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005, Proceedings, 2005, pp. 67--82.