1. Abdullah A, Xining l (2013) An efficient I/O based clustering HTN in web service composition. In: International conference on computing, management and telecommunications (ComManTel), Ho Chi Minh City, pp 252–257
2. Alves A, Arkin A, Askary S, Barreto C, Bloch B, Curbera F, Ford M, Goland Y, Guizar A, Kartha N, Kevin CL, Khalaf R, König D, Marin M, Mehta V, Thatte S, Rijn D, Yendluri P, Yiu A (2007) Web services business process execution language version 2.0, OASIS Standard.
http://docs.oasis-open.org/wsbpel/2.0/OS/wsbpel-v2.0-OS.html
. [Online; accessed 10 Mar 2017]
3. Andrews T, Curbera F, Dholakia H, Goland Y, Klein J, Leymann F, Liu K, Roller D, Smith D, Thatte S, Trickovic I, Weerawarana S (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 10 Mar 2017]
4. Atampore F (2017) Towards provably correct services: automated service composition via supervisory control synthesis. Ph.D. thesis, School of Computing, Queen’s University, Ontario
5. Atampore F, Dingel J, Rudie K (2016) A controller synthesis framework for automated service composition. Tech. Rep. 2016-630, School of Computing, Queen’s University, Kingston, Ontario, Canada.
http://sites.cs.queensu.ca/tr/