Kleene theorems for event-clock automata
1999 ◽
pp. 215-225
◽