Contains the keyword planner algorithms
Designing the Automatic Transformation of Visual Languages. Science of Computer Programming. 2002;44:205-27. Abstract
Visual Graph Transformation in System Verification. In: Gramatova E, Manhaeve H, Pawlak A, editors. DDECS 2000 International IEEE Workshop on the Design and Diagnostics of Electronic Circuits and Systems. Bratislava, Slovakia; 2000. p. 137-41. Abstract
