Mats Jirstrand Nonlinear Control System Design by Quantifier Elimination. 137-152 1997 24 J. Symb. Comput. 2 db/journals/jsc/jsc24.html#Jirstrand97