Eggers, Andreas (2014) Direct handling of ordinary differential equations in constraint-solving-based analysis of hybrid systems. PhD, Universität Oldenburg.