sandhya P. N and V. H. A, “SAGE: Profiling and Optimization in Formal Methods”, IJSBAR, vol. 15, no. 1, pp. 590–604, May 2014.