Language equations for timed alternating finite automata. - Abdelaziz Fellah; Carma Harding (Int. J. Comput. Math., 2003)