Hirokazu Anai Volker Weispfenning Reach Set Computations Using Real Quantifier Elimination. 63-76 2001 conf/hybrid/2001 HSCC http://link.springer.de/link/service/series/0558/bibs/2034/20340063.htm db/conf/hybrid/hscc2001.html#AnaiW01