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