Business Process Management : Models, Techniques, and Empirical Studies - Wil Aalst, Jörg Desel, Andreas Oberweis ((Lecture Notes in Computer Science))