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>Proceedings of the 2nd Brazilian Symposium on Systematic and Automated Software Testing,
Fortaleza/CE, 2017</em>. SBC, 2017,  
pp.11-20.