N, sandhya P. and A, V.H. 2014. SAGE: Profiling and Optimization in Formal Methods. International Journal of Sciences: Basic and Applied Research (IJSBAR). 15, 1 (May 2014), 590–604.