Matthias Althoff Olaf Stursberg Martin Buss Reachability analysis of nonlinear systems with uncertain parameters using conservative linearization. 4042-4048 2008 CDC http://dx.doi.org/10.1109/CDC.2008.4738704 conf/cdc/2008 db/conf/cdc/cdc2008.html#AlthoffSB08