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