Formal Modeling and Validation of ReDy Architecture Intended for IoT Applications . (2017). International Journal of Innovative Research in Computer Science & Technology, 5(4), 339–349. Retrieved from https://acspublisher.com/journals/index.php/ijircst/article/view/13473