1. Andrews, T., Curbera, F., Dholakia, H., Goland, Y., Klein, J., Leymann, F., Liu, K., Roller, D., Smith, D., Thatte, S., Trickovic, I., Weerawarana, S.: Specification: Business process execution language for web services version 1.1 (2003), http://www.ibm.com/developerworks/library/ws-bpel/
2. Ankolekar, A., Paolucci, M., Sycara, K.: Spinning the OWL-S Process Model–Towards the verification of the OWL-S Process Models. Presented at the Semantic Web Services: Preparing to Meet the World of Business Applications workshop at the International Semantic Web Conference (ISWC 2004), Hiroshima, Japan (2004)
3. Lecture Notes in Computer Science;A. Cimatti,2002
4. Cimatti, A., Roveri, M.: Conformant Planning via Symbolic Model Checking. Journal of Artificial Intelligence Research 31, 305–338 (2000)
5. Clarke, E.M., Grumberg, O., Peled, D.A.: Model Checking. The MIT Press, Cambridge (2000)