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