Efficient Online Timed Pattern Matching by Automata-Based Skipping
A very fast substring search algorithm