1. Barros, O.: Business process patterns and frameworks: reusing knowledge in process innovation. Bus. Process Manag. J. 13(1), 47–69 (2007)
2. Bhiri, M.T., Fourati, F., Kmimech, M., Graiet, M.: Transformation exogène de Wright vers Ada. Technique et Science Informatiques 31(7), 839–868 (2012)
3. Chama, I.E., Belala, N., Saïdouni, D.E.: Formalizing timed BPEL by D-LOTOS. IJERTCS J. 5(2), 1–21 (2014)
4. Foster, H., Uchitel, S., Magee, J., Kramer, J.: Model-based verification of web service compositions. In: Proceedings of 18th IEEE International Conference on Automated Software Engineering, Montreal, Canada, pp. 152–163. IEEE, October 2003
5. Foster, H., Uchitel, S. Magee, J., Kramer, J., Magee, J.: Compatibility verification for web service choreography. In: Proceedings of the IEEE International Conference on Web Services, San Diego, CA, USA, pp. 738–741. IEEE, June 2004