Jiacun Wang Daniela Rosca William M. Tepfenhart Allen Milewski Michael Stoute An Intuitive Formal Approach to Dynamic Workflow Modeling and Analysis. 137-152 2005 conf/bpm/2005 Business Process Management http://dx.doi.org/10.1007/11538394_10 db/conf/bpm/bpm2005.html#WangRTMS05