A systematic process for obtaining the behavior of context-sensitive systems - Vilela,Jéssyka