N, sandhya P. and A, V.H. (2014) “SAGE: Profiling and Optimization in Formal Methods”, International Journal of Sciences: Basic and Applied Research (IJSBAR), 15(1), pp. 590–604. Available at: https://www.gssrr.org/JournalOfBasicAndApplied/article/view/2237 (Accessed: 27 September 2025).