An Anticipative Effects-Driven Approach for collaborative process verification Report uri icon