VILELA, J.; CASTRO, J.; PIMENTEL, J. A systematic process for obtaining the behavior of context-sensitive systems. Journal of Software Engineering Research and Development, [S. l.], v. 4, p. 2:1 – 2:57, 2016. Disponível em: https://sol.sbc.org.br/journals/index.php/jserd/article/view/428. Acesso em: 20 apr. 2024.