Combemale, B. (2012) “Teaching MDE through the Formal Verification of Process Models”, Electronic Communications of the EASST, 52. doi: 10.14279/tuj.eceasst.52.749.