Ratana, H. and 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), pp. 143–149. Available at: https://jtec.utem.edu.my/jtec/article/view/2934 (Accessed: 23November2024).