Cross-layer modeler: a tool for flexible multilevel modeling with consistency checking
Model migration with Epsilon Flock