A pattern-based approach for the verification of business process descriptions. - Susanne Patig; Manuela Stolz (Inf. Softw. Technol., 2013)