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. Retrieved from https://gssrr.org/index.php/JournalOfBasicAndApplied/article/view/2237