On the regularization of Zeno hybrid automata
scientific article; zbMATH DE number 1454262