Santiago Júnior, V., & 		Silva, F.
2017 Sep 18.  From Statecharts into Model Checking: A Hierarchy-based Translation and Specification Patterns Properties to Generate Test Cases. Proceedings of the Brazilian Symposium on Systematic and Automated Software Testing (SAST). [Online] :