Return to Article Details Teaching MDE through the Formal Verification of Process Models Download Download PDF