Hassan, Taimoor, et al. “Using Formal Verification and Model Checking in Agile Development to Improve the Quality of Software Development: Review”. Robotics and Artificial Intelligence Review, vol. 1, no. 2, Dec. 2025, pp. 47-54, https://journals.umt.edu.pk/index.php/RAIR/article/view/7784.