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