RATANA, H.; SYED MOHAMAD, S. M. Towards Model Checking of Network Applications for IoT System Development. Journal of Telecommunication, Electronic and Computer Engineering (JTEC), [S. l.], v. 9, n. 3-4, p. 143–149, 2017. Disponível em: https://jtec.utem.edu.my/jtec/article/view/2934. Acesso em: 5 nov. 2024.