Morgan, H. P., et al. “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, vol. 14, no. 2, Nov. 2025, pp. 167-74, https://journals.mriindia.com/index.php/ijraet/article/view/2031.