Eclipse Formal Modeling, FormalML Ecore

Model Ecore for Xtext Editor