Fahim Arif2Sidra Sultana1. “Automation of Software Modeling and Verification”. International Journal of Computing and Related Technologies 2, no. 1 (July 4, 2019): 42-53. Accessed February 6, 2025. http://ijcrt.smiu.edu.pk/index.php/smiu/article/view/49.