Ariadne: a Framework for Reachability Analysis of Hybrid Automata