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. DOI: 10.65521/intjournalrecadvengtech.v14i2.2031. Disponível em: https://journals.mriindia.com/index.php/ijraet/article/view/2031. Acesso em: 25 jul. 2026.