Ratana, H.; Syed Mohamad, S. M. Towards Model Checking of Network Applications for IoT System Development. JTEC 2017, 9, 143-149.