Vilela J, Castro J, Pimentel J. A systematic process for obtaining the behavior of context-sensitive systems. JSERD [Internet]. 2016Apr.17 [cited 2024Apr.20];4:2:1 - 2:57. Available from: https://sol.sbc.org.br/journals/index.php/jserd/article/view/428