Formal Modeling and Validation of ReDy Architecture Intended for IoT Applications . IJIRCST. 2017;5(4):339-349. Accessed May 4, 2025. https://www.journals.acspublisher.com/index.php/ijircst/article/view/13473