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