Combemale, Benoit, Xavier Cregut, Arnaud Dieumegard, Marc Pantel, and Faiez Zalila. “Teaching MDE through the Formal Verification of Process Models”. Electronic Communications of the EASST 52 (November 17, 2012). Accessed December 22, 2024. https://eceasst.org/index.php/eceasst/article/view/1984.