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