Jin Yang Carl-Johan H. Seger Generalized Symbolic Trajectory Evaluation - Abstraction in Action. 70-87 2002 conf/fmcad/2002 FMCAD http://link.springer.de/link/service/series/0558/bibs/2517/25170070.htm db/conf/fmcad/fmcad2002.html#YangS02