Oehlerking, Jens (2011) Decomposition of stability proofs for hybrid systems. PhD, Universität Oldenburg.