Yan Chen Fei Xie Jin Yang Optimizing automatic abstraction refinement for generalized symbolic trajectory evaluation. 143-148 2008 DAC http://doi.acm.org/10.1145/1391469.1391508 conf/dac/2008 db/conf/dac/dac2008.html#ChenXY08