Ratana H, Syed Mohamad SM. Towards Model Checking of Network Applications for IoT System Development. JTEC [Internet]. 2017Oct.20 [cited 2024Nov.5];9(3-4):143-9. Available from: https://jtec.utem.edu.my/jtec/article/view/2934