P.: Transformation and verification of Executable UML models (2004)

by G Graw, Herrmann
Venue:Electron. Notes Theor. Comput. Sci