N, sandhya P.; A, V. H. SAGE: Profiling and Optimization in Formal Methods. IJSBAR 2014, 15 (1), 590-604.