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