EFM : Eclipse Formal Modeling