Morgan HP, Dimitrov N, Laurent P. A Systematic Review of Real-Time Session Control Using Temporal Logic Enforcement: Methods, Architectures, and Future Research Directions. IJRAET [Internet]. 2025 Nov. 17 [cited 2026 Apr. 3];14(2):167-74. Available from: https://journals.mriindia.com/index.php/ijraet/article/view/2031