Kahn Mason Padmanabhan Krishnan Decomposition of Timed Automata. 574-587 1999 5 J. UCS 9 db/journals/jucs/jucs5.html#MasonK99 http://www.jucs.org/jucs_5_9/decomposition_of_timed_automata