J. Vilela, J. Castro, and J. Pimentel, “A systematic process for obtaining the behavior of context-sensitive systems”, JSERD, vol. 4, pp. 2:1 – 2:57, Apr. 2016.