“Formal Modeling and Validation of ReDy Architecture Intended for IoT Applications ” (2017) International Journal of Innovative Research in Computer Science & Technology, 5(4), pp. 339–349. Available at: https://journals.acspublisher.com/index.php/ijircst/article/view/13473 (Accessed: 6 April 2025).