Franck van Breugel Mariya Koshkina Dead-Path-Elimination in BPEL4WS. 192-201 2005 conf/acsd/2005 ACSD http://doi.ieeecomputersociety.org/10.1109/ACSD.2005.11 db/conf/acsd/acsd2005.html#BreugelK05