Morgan, H.P. et al. 2025. 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. 14, 2 (Nov. 2025), 167–174.