Juliane Dehnert Armin Zimmermann On the Suitability of Correctness Criteria for Business Process Models. 386-391 2005 conf/bpm/2005 Business Process Management http://dx.doi.org/10.1007/11538394_28 db/conf/bpm/bpm2005.html#DehnertZ05