rfsm Ecore model