Chao Wang Zijiang Yang Franjo Ivancic Aarti Gupta Disjunctive image computation for software verification. 2007 12 ACM Trans. Design Autom. Electr. Syst. 2 http://doi.acm.org/10.1145/1230800.1230802 db/journals/todaes/todaes12.html#WangYIG07