Birgit Hofreiter Christian Huemer Philipp Liegl Rainer Schuster Marco Zapletal Deriving executable BPEL from UMM Business Transactions. 178-186 2007 conf/IEEEscc/2007 IEEE SCC http://doi.ieeecomputersociety.org/10.1109/SCC.2007.49 db/conf/IEEEscc/scc2007.html#HofreiterHLSZ07