Santiago Júnior, V., & 		Silva, F.
(2017).
 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>, (pp. 11-20). Porto Alegre: SBC.