H. Ratana and S. M. Syed Mohamad, “Towards Model Checking of Network Applications for IoT System Development”, JTEC, vol. 9, no. 3-4, pp. 143–149, Oct. 2017.