MORGAN, H. P.; DIMITROV, N.; LAURENT, P. A Systematic Review of Real-Time Session Control Using Temporal Logic Enforcement: Methods, Architectures, and Future Research Directions. International Journal of Recent Advances in Engineering and Technology, [S. l.], v. 14, n. 2, p. 167–174, 2025. Disponível em: https://journals.mriindia.com/index.php/ijraet/article/view/2031. Acesso em: 3 apr. 2026.