Formal Modeling and Validation of ReDy Architecture Intended for IoT Applications . International Journal of Innovative Research in Computer Science & Technology, [S. l.], v. 5, n. 4, p. 339–349, 2017. Disponível em: https://acspublisher.com/journals/index.php/ijircst/article/view/13473.. Acesso em: 23 jul. 2024.