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