Extended Timed Regular Expressions.

Marco Muiz, Marius Mikucionis, Kim G. Larsen

Browse the full RV paper archive.