Shafiq Hussain, Muhammad Jamil, Imran Shehzad, and Azka Sarfraz. “INTEGRATING FORMAL METHODS INTO CLOUD BASED LEARNING MANAGEMENT SYSTEM SECURITY: A LIGHTWEIGHT FORMAL DEVELOPMENT FRAMEWORK”. Spectrum of Engineering Sciences, vol. 3, no. 9, Sept. 2025, pp. 1587-95, https://www.thesesjournal.com/index.php/1/article/view/1200.