N, sandhya P., & A, V. H. (2014). SAGE: Profiling and Optimization in Formal Methods. International Journal of Sciences: Basic and Applied Research (IJSBAR), 15(1), 590-604. https://www.gssrr.org/JournalOfBasicAndApplied/article/view/2237