Ratana, Hing, and Sharifah Mashita Syed Mohamad. 2017. “Towards Model Checking of Network Applications for IoT System Development”. Journal of Telecommunication, Electronic and Computer Engineering (JTEC) 9 (3-4):143-49. https://jtec.utem.edu.my/jtec/article/view/2934.