Yan Chen Yujing He Fei Xie Jin Yang Automatic Abstraction Refinement for Generalized Symbolic Trajectory Evaluation. 111-118 2007 conf/fmcad/2007 FMCAD http://doi.ieeecomputersociety.org/10.1109/FMCAD.2007.11 db/conf/fmcad/fmcad2007.html#ChenHXY07