Franz Matejka Andreas Schwald Formalisierung und visuelle Modellierung am Beispiel der UML-Statecharts. 127-139 1998 GI Jahrestagung db/conf/gi/gi98.html#MatejkaS98