Formal Modeling and Validation of ReDy Architecture Intended for IoT Applications . IJIRCST 2017, 5 (4), 339-349.