Reliable, Secure, and Transacted Web Service Compositions with AO4BPEL. - Anis Charfi; Benjamin Schmeling; Andreas Heizenreder; Mira Mezini (ECOWS, 2006)