EFM, Formal Modeling Language, FormalML, Xtext based Editor IDE

Model Ecore for Xtext Editor