Aymen Baouab, Perrin, Olivier, Godart, Claude. An Optimized Derivation of Event Queries to Monitor Choreography Violations. In 10th International Conference on Service Oriented Computing (ICSOC 2012 ). Volume 7636 of Lecture Notes in Computer Science, pages 222-236, Springer, Shanghai, Chine, Nov 2012. [doi]