iMOL: Ein experimentelles Werkzeug zur interaktiven Validierung von Softwaremodellen.