H. P. Morgan, N. Dimitrov, and P. Laurent, “A Systematic Review of Real-Time Session Control Using Temporal Logic Enforcement: Methods, Architectures, and Future Research Directions”, IJRAET, vol. 14, no. 2, pp. 167–174, Nov. 2025.