An SMT-Based Approach to Bounded Model Checking of Designs in Communicating State Transition Matrix. - Weiqiang Kong; Noriyuki Katahira; Wanpeng Qian; Masahiko Watanabe; Tetsuro Katayama; Akira Fukuda (ICCSA Workshops, 2011)