Kees M. van Hee, Hajo A. Reijers. Using Formal Analysis Techniques in Business Process Redesign. In Wil M. P. van der Aalst, Jörg Desel, Andreas Oberweis, editors, Business Process Management, Models, Techniques, and Empirical Studies. Volume 1806 of Lecture Notes in Computer Science, pages 142-160, Springer, 2000. [doi]
Abstract is missing.