An improvement in decomposed reachability analysis for symbolic model checking. - Nicholas Donataccio; Hao Zheng (HLDVT, 2010)