Checking the Validity of Scenarios in {UML} Models - Rasch, Holger; Wehrheim, Heike; Steffen, Martin; Zavattaro, Gianluigi (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)
Keywords: conference paper