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

Model Ecore for Xtext Editor