Formal Modeling and Validation of ReDy Architecture Intended for IoT Applications . IJIRCST [Internet]. 2017 Jul. 5 [cited 2025 Apr. 6];5(4):339-4. Available from: https://journals.acspublisher.com/index.php/ijircst/article/view/13473