Jiacun Wang Daniela Rosca Dynamic Workflow Modeling and Verification. 303-318 2006 conf/caise/2006 CAiSE http://dx.doi.org/10.1007/11767138_21 db/conf/caise/caise2006.html#WangR06