N, Sandhya P.; A, Vidya H. SAGE: Profiling and Optimization in Formal Methods. International Journal of Sciences: Basic and Applied Research (IJSBAR), Jordan, v. 15, n. 1, p. 590–604, 2014. Disponível em: https://www.gssrr.org/JournalOfBasicAndApplied/article/view/2237. Acesso em: 27 sep. 2025.