Vilela, J.; Castro, J.; Pimentel, J. A Systematic Process for Obtaining the Behavior of Context-Sensitive Systems. JSERD 2016, 4, 2:1 - 2:57.