Gerd Behrmann Distributed reachability analysis in timed automata. 19-30 2005 7 STTT 1 http://www.springerlink.com/index/10.1007/s10009-003-0111-z db/journals/sttt/sttt7.html#Behrmann05