Morgan, H. P., Dimitrov, N. and Laurent, P. (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), pp. 167–174. Available at: https://journals.mriindia.com/index.php/ijraet/article/view/2031 (Accessed: 3 April 2026).