Ratana, H., & Syed Mohamad, S. M. (2017). Towards Model Checking of Network Applications for IoT System Development. Journal of Telecommunication, Electronic and Computer Engineering (JTEC), 9(3-4), 143–149. Retrieved from https://jtec.utem.edu.my/jtec/article/view/2934