Fahim Arif2S. S., “Automation of Software Modeling and Verification”, IJCRT, vol. 2, no. 1, pp. 42-53, Jul. 2019.