On the regularization of Zeno hybrid automata

On the regularization of Zeno hybrid automata | Litlas