Luciano Baresi Sam Guinea Raman Kazhamiakin Marco Pistore An Integrated Approach for the Run-Time Monitoring of BPEL Orchestrations. 1-12 2008 ServiceWave http://dx.doi.org/10.1007/978-3-540-89897-9_1 conf/servicewave/2008 db/conf/servicewave/servicewave2008.html#BaresiGKP08