T. Hassan, Abrar Ahmed, Mehmood Anwar, Muhammad Basit Ali Gilani, and Sajid Saleem, “Using Formal Verification and Model Checking in Agile Development to Improve the Quality of Software Development: Review”, RAIR, vol. 1, no. 2, pp. 47–54, Dec. 2025.