Luciano Baresi Sam Guinea Liliana Pasquale Towards a unified framework for the monitoring and recovery of BPEL processes. 15-19 2008 TAV-WEB http://doi.acm.org/10.1145/1390832.1390835 conf/issta/2008t db/conf/issta/tavweb2008.html#BaresiGP08