Volker Weispfenning Robust Stability for Parametric Linear ODEs. 402-422 2007 conf/casc/2007 CASC http://dx.doi.org/10.1007/978-3-540-75187-8_32 db/conf/casc/casc2007.html#Weispfenning07