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