1. Andrews, T., Curbera, F., et al. (2003). Business Process Execution Language for Web Services Version 1.1. http://msdn.microsoft.com/en-us/library/ee251594(v=bts.10).aspx#feedback. [Online; accessed on 11-Nov, 2017].
2. Atampore, F. (2017). Towards Provably Correct Services: Automated Service Composition Via Supervisory Control Synthesis. Ph.D. thesis, School of Computing, Queen’s University, Ontario, Canada.
3. Atampore, F., Dingel, J., and Rudie, K. (2016a). A Controller Synthesis Framework for Automated Service Composition. Technical Report 2016-630, School of Computing, Queen’s University, Kingston, Ontario, Canada. URL http://sites.cs.queensu.ca/tr/.
4. Atampore, F., Dingel, J., and Rudie, K. (2016b). Automated service compo sition via supervisory control theory. In 13th International Workshop on Discrete Event Systems, WODES, Xi’an, China, 28– 35.
5. Automatic Service Composition Based on Behavioural Descriptions;Berardi;International Journal of Cooperative Information Systems,2005