“Formal Modeling and Validation of ReDy Architecture Intended for IoT Applications ”. International Journal of Innovative Research in Computer Science & Technology, vol. 5, no. 4, July 2017, pp. 339-4, https://www.journals.acspublisher.com/index.php/ijircst/article/view/13473.