Jorge Roa, Omar Chiotti, Pablo David Villarreal: Specification of behavioral anti-patterns for the verification of block-structured Collaborative Business Processes. Inf. Softw. Technol. 75: 148-170 (2016)