Business Process Management: Models, Techniques, and Empirical Studies - Wil van der Aalst, Jörg Desel et Andreas Oberweis