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