Automata generation for on-the-fly automatic verification using formulas of an interval logic | Publicación