Federico Chesani Paola Mello Marco Montali Paolo Torroni Verification of Choreographies During Execution Using the Reactive Event Calculus. 55-72 2008 WS-FM http://dx.doi.org/10.1007/978-3-642-01364-5_4 conf/wsfm/2008 db/conf/wsfm/wsfm2008.html#ChesaniMMT08