Béatrice Bérard Paul Gastin Antoine Petit Timed substitutions for regular signal-event languages. 101-134 2007 31 Formal Methods in System Design 2 http://dx.doi.org/10.1007/s10703-007-0034-5 db/journals/fmsd/fmsd31.html#BerardGP07