Vilela, J., J. Castro, and J. Pimentel. “A Systematic Process for Obtaining the Behavior of Context-Sensitive Systems”. Journal of Software Engineering Research and Development, vol. 4, Apr. 2016, pp. 2:1 - 2:57, https://sol.sbc.org.br/journals/index.php/jserd/article/view/428.