Elements of Timed Pattern Matching. - Ulus, Dogan; Ferrère, Thomas; Asarin, Eugene; Nickovic, Dejan; Maler, Oded (ACM Transactions on Embedded Computing Systems, 2024)