Logics and translations for hierarchical model checking. - Norihiro Kamide; Ryu Yano (KES, 2017)