Philippe Herrmann Renaming is Necessary in Timed Regular Expressions. 47-59 http://link.springer.de/link/service/series/0558/bibs/1738/17380047.htm 1999 conf/fsttcs/1999 FSTTCS db/conf/fsttcs/fsttcs99.html#Herrmann99