Fahim Arif2S. S. “Automation of Software Modeling and Verification”. International Journal of Computing and Related Technologies, Vol. 2, no. 1, July 2019, pp. 42-53, http://ijcrt.smiu.edu.pk/ijcrt/index.php/smiu/article/view/49.