1. Papazoglou, M.P., Georgakopoulos, D.: Special Issue on Service Oriented Computing. Communications of ACM 46(10), 24–28 (2003)
2. Alonso, G., Casati, F., Grigori, K.H., Machiraju, V.: Web Services Concepts, Architectures and Applications. Springer, Heidelberg (2004)
3. Arkin, A., Askary, S., Bloch, B., Curbera, F., Goland, Y., Kartha, N., Liu, C.K., Thatte, S., Yendluri, P., Yiu, A.: Web Services Business Process Execution Language Version 2.0 Working Draft (2004), http://www.oasis-open.org/committees/download.php/10347/wsbpel-specification-draft-120204.htm
4. BPMI: Business Process Modeling Language (2002), http://www.bpmi.org/
5. Clarke, E.M., Moon, I., Powers, G.J., Burch, J.R.: Automatic Verification of Sequential Control Systems using Temporal Logic. American Institute of Chemical Engineers Journal 38(1), 67–75 (1992)