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