Patricia Bouyer Catherine Dufourd Emmanuel Fleury Antoine Petit Are Timed Automata Updatable? 464-479 2000 conf/cav/2000 CAV db/conf/cav/cav2000.html#BouyerDFP00