Valdivino Santiago Júnior and Felipe Silva. 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>, setembro 18, 2017, Fortaleza/CE, Brasil. SBC, Porto Alegre, Brasil, 11-20.