Timed Pattern Matching2014-01-010 PRE AI DOI:10.1007/978-3-319-10512-3_16OriginalOriginal request for helpShareSaveAbstract En