Eclipse Modeling tutorial: Adding constraints and invariants in EMF [screencast]
edmundo.lopezbobeda.net