Contains the keyword system verification
Designing the Automatic Transformation of Visual Languages. Science of Computer Programming. 2002;44:205-27. Abstract
Mathematical Model Transformation for System Verification. Budapest University of Technology and Economics, Dept. of Measurement and Information Systems; 2000. Abstract
