iMOL: Ein experimentelles Werkzeug zur interaktiven Validierung von Softwaremodellen. - Uwe Thaden; Tobias Buchloh; Friedrich Steimann (Modellierung, 2004)