1. Foster, H., Uchitel, S., Magee, J., & Kramer, J. (2002). LTSA-WS: A tool for model-based verification of web service compositions and choreography. Department of Computing, Imperial College London, UK.doi=10.1.1.5.3846. http://www.computer.org/portal/web/csdl/doi/10.1109/ASE.2003.1240303 .
2. Petrie, C. (2009). Planning process instances with web services. In Proceedings of ICEIS (pp. 31–41). New York/Berlin: Springer. doi:dx.doi.org/10.5220/0002171400310041.
3. Pollock, J. L. (1998). The logical foundations of goal-regression planning in autonomous agents. Artificial Intelligence, 106, 267–335.
4. Giunchiglia, F., & Traverso, P. (1999). Planning as model checking. In Proceeding of the 5th European Conference on Planning (ECP’99) (pp. 1–20).
5. Ambite, J. L. (2003). Planning as model checking. Talk http://www.isi.edu/~blythe/cs541/Slides/2003-9-11-pamc-obdd.pdf .