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 (Oct. 2017), 143–149.