Exploiting Hierarchy in the Abstraction-Based Verification of Statecharts Using SMT Solvers. - Bence Czipó; Ákos Hajdu; Tamás Tóth; István Majzik (FESCA@ETAPS, 2017)