From Statecharts into Model Checking: A Hierarchy-based Translation and Specification Patterns Properties to Generate Test Cases. - Valdivino Alexandre de Santiago Júnior; Felipe Elias Costa da Silva (SAST, 2017)