Eclipse Formal Modeling SEW i.e. Symbolic Execution Workflow Xtext's based Editor