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