“Formal Modeling and Validation of ReDy Architecture Intended for IoT Applications ”, IJIRCST, vol. 5, no. 4, pp. 339–349, Jul. 2017, Accessed: Jul. 23, 2024. [Online]. Available: https://acspublisher.com/journals/index.php/ijircst/article/view/13473