Uwe Thaden Tobias Buchloh Friedrich Steimann iMOL: Ein experimentelles Werkzeug zur interaktiven Validierung von Softwaremodellen. 285-286 2004 conf/modellierung/2004 Modellierung db/conf/modellierung/modellierung2004.html#ThadenBS04