1. F. van Breugel and M. Koshkina. Does Dead-Path-Elimination have Side Effects? Technical Report CS-2003-04, York Univ., April 2003
2. F. Curbera et al. Business Process Execution Language for Web Services. Version 1.1, May 2003
3. H. Foster, S. Uchitel, J. Magee, and J. Kramer. Model-based Verification of Web Service Compositions. In Proc. ASE 2003, September 2003
4. S. Graf and H. Saidi. Construction of Abstract State Graphs with PVS. In Proc. CAV'97, pages 72 – 83, 1997
5. The SPIN Model Checker;Holzmann,2004