Hassan, T. et al. 2025. Using Formal Verification and Model Checking in Agile Development to Improve the Quality of Software Development: Review. Robotics and Artificial Intelligence Review. 1, 2 (Dec. 2025), 47–54.