“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 April 6, 2025. https://journals.acspublisher.com/index.php/ijircst/article/view/13473.