Aymen Baouab, Perrin, Olivier, Godart, Claude. An Event-Driven Approach for Runtime Verification of Inter-Organizational Choreographies. In The 8th International Conference on Services Computing (IEEE SCC 2011). pages 640-647, IEEE, Washington, US, Jul 2011. [doi]