V. Santiago Júnior and F. Silva.
" From Statecharts into Model Checking: A Hierarchy-based Translation and Specification Patterns Properties to Generate Test Cases", in <em>Anais do II Simpósio Brasileiro de Testes de Software Sistemático e Automatizado</em>, Fortaleza/CE, 2017, pp. 11-20.