Henning Burchardt Jens Oehlerking Oliver E. Theel Towards Push-of-a-Button Stability Verification for Discrete-Time Hybrid Systems. 374-378 2005 conf/prdc/2005 PRDC http://doi.ieeecomputersociety.org/10.1109/PRDC.2005.59 db/conf/prdc/prdc2005.html#BurchardtOT05