An Eclipse-based workbench for INTeractive Model Management