@InProceedings{l06-p238-249, AUTHOR = {Patricia Bouyer and Nicolas Markey and Pierre-Alain Reynier}, TITLE = {Robust Model-Checking of Linear-Time Properties in Timed Automata}, YEAR = 2006, BOOKTITLE = {Proc.~of the 7th Latin American Symposium on Theoretical Informatics (LATIN'06)}, ADDRESS = {Valdivia, Chile}, PAGES = {238--249}, KEYWORDS = {}}