Santiago Júnior, V., & 		Silva, F.
2017 set 18.  From Statecharts into Model Checking: A Hierarchy-based Translation and Specification Patterns Properties to Generate Test Cases. Anais do Simpósio Brasileiro de Testes de Software Sistemático e Automatizado (SAST). [Online] :