EFM, Formal Modeling Language, FormalML, Xtext based Editor UI Tests
Model Ecore for Xtext Editor