Morgan, H. P., Dimitrov, N., & 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), 167–174. Retrieved from https://journals.mriindia.com/index.php/ijraet/article/view/2031