Specification of behavioral anti-patterns for the verification of block-structured Collaborative Business Processes · Study