Return to Article Details Formal Modeling and Validation of ReDy Architecture Intended for IoT Applications Download Download PDF