Formal deadlock checking on high-level SystemC designs. - Chun-Nan Chou; Chang-Hong Hsu; Yueh-Tung Chao; Chung-Yang Huang (ICCAD, 2010)