Jiacun Wang, Daniela Rosca, William M. Tepfenhart, Allen E. Milewski, Michael Stoute: An Intuitive Formal Approach to Dynamic Workflow Modeling and Analysis. Business Process Management 2005: 137-152