Santiago Júnior, Valdivino, AND 		Silva, Felipe.
" From Statecharts into Model Checking: A Hierarchy-based Translation and Specification Patterns Properties to Generate Test Cases" <em>Proceedings of the Brazilian Symposium on Systematic and Automated Software Testing (SAST)</em> [Online], (18 September 2017)