Combemale, B.; Cregut, X.; Dieumegard, A.; Pantel, M.; Zalila, F. Teaching MDE through the Formal Verification of Process Models. eceasst 2012, 52.