Michael Von Riegen Norbert Ritter Reliable Monitoring for Runtime Validation of Choreographies. 310-315 2009 ICIW http://dx.doi.org/10.1109/ICIW.2009.52 conf/iciw/2009 db/conf/iciw/iciw2009.html#RiegenR09