Vilela, Jéssyka, Jaelson Castro, and João Pimentel. “A Systematic Process for Obtaining the Behavior of Context-Sensitive Systems”. Journal of Software Engineering Research and Development 4 (April 17, 2016): 2:1 – 2:57. Accessed April 18, 2024. https://sol.sbc.org.br/journals/index.php/jserd/article/view/428.