Automata generation for on-the-fly automatic verification using formulas of an interval logic | IEEE Conference Publication | IEEE Xplore