Contains the keyword UML
The many meanings of UML 2 Sequence Diagrams: a survey. Software and Systems Modeling. 2011;10(4):489-514. Abstract
Static Safety Analysis of UML Action Semantics for Critical Systems Development. In: Dadam P, Reichert M, editors. GI Jahrestagung (1). Vol 50. GI; 2004. p. 57-61. (LNI; vol 50). Abstract
Designing the Automatic Transformation of Visual Languages. Science of Computer Programming. 2002;44:205-27. Abstract
Automatic Transformation of {UML} Models for System Verification. In: Whittle J, editor. WTUML'01: Workshop on Transformations in UML. Genova, Italy; 2001. p. 123-7. Abstract
Mathematical Model Transformation for System Verification. Budapest University of Technology and Economics, Dept. of Measurement and Information Systems; 2000. Abstract