Weiqiang Kong, Noriyuki Katahira, Masahiko Watanabe, Tetsuro Katayama, Kenji Hisazumi, Akira Fukuda. Formal Verification of Software Designs in Hierarchical State Transition Matrix with SMT-based Bounded Model Checking. In Tran Dan Thu, Karl R. P. H. Leung, editors, 2011 18th Asia Pacific Software Engineering Conference, Ho Chi Minh, Vietnam, December 5-8, 2011. pages 81-88, IEEE, 2011. [doi]