Timed Term Rewrite Systems. - Blanc, Jérémie; Serwe, Wendelin (2001)