Ratana, H., and S. M. Syed Mohamad. “Towards Model Checking of Network Applications for IoT System Development”. Journal of Telecommunication, Electronic and Computer Engineering (JTEC), vol. 9, no. 3-4, Oct. 2017, pp. 143-9, https://jtec.utem.edu.my/jtec/article/view/2934.