sandhya P. N and V. H. A, “SAGE: Profiling and Optimization in Formal Methods”, IJSBAR, vol. 15, no. 1, pp. 590–604, May 2014, Accessed: Jan. 11, 2026. [Online]. Available: https://www.gssrr.org/JournalOfBasicAndApplied/article/view/2237