2017. Formal Modeling and Validation of ReDy Architecture Intended for IoT Applications . International Journal of Innovative Research in Computer Science & Technology. 5, 4 (Jul. 2017), 339–349.