1. Augusto, J.C., Leuschel, M., Butler, M., Ferreira, C.: Using the extensible model checker XTL to verify StAC business specifications. In: 3rd Workshop on Automated Verification of Critical Systems (AVoCS 2003), Southampton, UK, pp. 253–266 (2003)
2. Lecture Notes in Computer Science;L. Bocchi,2003
3. Business Process Modeling Language (BPML), http://www.bpmi.org
4. Bruni, R., Butler, M., Ferreira, C., Hoare, T., Melgratti, H., Montanari, U.: Reconciling two approaches to compensable flow composition. Technical report (2005)
5. Bruni, R., Melgratti, H., Montanari, U.: Theoretical foundations for compensations in flow composition languages. In: POPL, pp. 209–220 (2005)