selected publications report An Anticipative Effects-Driven Approach for collaborative process verification. HAL (Le Centre pour la Communication Scientifique Directe). 2011