Eike Möhlmann, Willem Hagemann, Oliver E. Theel: Hybrid Tools for Hybrid Systems - Proving Stability and Safety at Once. FORMATS 2015: 222-239