Modelio Constellation
Constellation organizes and manages collaborative (distributed) World Wide Modeling projects,
PADRE
Performance-driven softwAre moDel Refactoring framEwork (PADRE)
VeriATL
Fine-Grained Incrementality for Deductive Verification of Model Transformations (Online)