@inbook{0d59a948c613420dbcde3eb86e09e20c,
title = "Fault diagnosis of timed systems",
keywords = "Discrete, fault diagnosis, Fault diagnosis problems, Notations, timed words/languages, Timed systems, and maximal delay, Timed systems, fault diagnosis",
author = "Franck Cassez and Stavros Tripakis",
year = "2010",
doi = "10.1002/9781118558188.ch4",
language = "English",
isbn = "9781848211438",
pages = "107--138",
editor = "Claude Jard and Roux, {Olivier H.}",
booktitle = "Communicating embedded systems",
publisher = "John Wiley & Sons",
address = "United States",
}