1. Jordan, D., Evdemon, J.: Web Services Business Process Execution Language Version 2.0. Technical report, OASIS Standard (April 2007),
http://docs.oasis-open.org/wsbpel/2.0/OS/wsbpel-v2.0-OS.html
2. He, Y., Zhao, L., Wu, Z., Li, F.: Formal Modeling of Transaction Behavior in WS-BPEL. In: International Conference on Computer Science and Software Engineering, CSSE 2008 (2008)
3. Guidi, C., Lucchi, R., Mazzara, M.: A Formal Framework for Web Services Coordination. ENTCS 180(2), 55–70 (2007)
4. Metayer, C., Abrial, J.-R., Voisin, L.: Event-B Language. Project IST-511599. RODIN (2005)
5. ClearSy: Rodin (2007),
http://www.methode-b.com/php/travaux_r&d_methode_b_projet_RODIN_fr.php