Baatmaanghelich, Zahra, Rezaee, Ali, Adabi, Sahar. Formal Method in Service Composition in Heath Care Systems. Journal of Advances in Computer Engineering and Technology. 2018;4(1):1-6.