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