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