Efficient Online Timed Pattern Matching by Automata-Based Skipping
Back to the Future : Towards a Theory of Timed Regular Languages