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. IJRAET 2025, 14, 167-174.