_id,doi,title 78,10.1007/978-3-030-00151-3_13,Online timed pattern matching using automata