@inbook{cassez-diag-iste-2009,
   author = {Franck Cassez and Tripakis, Stavros},
   title = {Communicating Embedded Systems},
   editor = {Jard, Claude and Roux, Olivier H.},
   month = oct,
   pages = {120--151},
   publisher = {ISTE Ltd. -- John Wiley \& Sons, Ltd},
   chapter = {Fault Diagnosis of Timed Systems},
  xxurl = {http://www.iste.co.uk/index.php?ACTION=Browse&CatParent=FUB2},
   year = {2009},
      Type = {C - Book Chapters},

  urlpaper = {papers/iste-wiley-book-diag.pdf},
abstract={In this book Chapter, we review the main results pertaining
                  to the problem of fault diagnosis of timed
                  automata. Timed automata are introduced in Chapter 1
                  and Chapter 2 in this book, and the reader not
                  familiar with this model is invited to read them
                  first.},
XXnote={Draft version  may differ from published one.}
}

{"_id":"2TFqo93ACPhJwGgDJ","bibbaseid":"cassez-tripakis-communicatingembeddedsystems-2009","author_short":["Cassez, F.","Tripakis, S."],"bibdata":{"bibtype":"inbook","type":"C - Book Chapters","author":[{"firstnames":["Franck"],"propositions":[],"lastnames":["Cassez"],"suffixes":[]},{"propositions":[],"lastnames":["Tripakis"],"firstnames":["Stavros"],"suffixes":[]}],"title":"Communicating Embedded Systems","editor":[{"propositions":[],"lastnames":["Jard"],"firstnames":["Claude"],"suffixes":[]},{"propositions":[],"lastnames":["Roux"],"firstnames":["Olivier","H."],"suffixes":[]}],"month":"October","pages":"120–151","publisher":"ISTE Ltd. – John Wiley & Sons, Ltd","chapter":"Fault Diagnosis of Timed Systems","xxurl":"http://www.iste.co.uk/index.php?ACTION=Browse&CatParent=FUB2","year":"2009","urlpaper":"papers/iste-wiley-book-diag.pdf","abstract":"In this book Chapter, we review the main results pertaining to the problem of fault diagnosis of timed automata. Timed automata are introduced in Chapter 1 and Chapter 2 in this book, and the reader not familiar with this model is invited to read them first.","xxnote":"Draft version may differ from published one.","bibtex":"@inbook{cassez-diag-iste-2009,\n author = {Franck Cassez and Tripakis, Stavros},\n title = {Communicating Embedded Systems},\n editor = {Jard, Claude and Roux, Olivier H.},\n month = oct,\n pages = {120--151},\n publisher = {ISTE Ltd. -- John Wiley \\& Sons, Ltd},\n chapter = {Fault Diagnosis of Timed Systems},\n xxurl = {http://www.iste.co.uk/index.php?ACTION=Browse&CatParent=FUB2},\n year = {2009},\n Type = {C - Book Chapters},\n\n urlpaper = {papers/iste-wiley-book-diag.pdf},\nabstract={In this book Chapter, we review the main results pertaining\n to the problem of fault diagnosis of timed\n automata. Timed automata are introduced in Chapter 1\n and Chapter 2 in this book, and the reader not\n familiar with this model is invited to read them\n first.},\nXXnote={Draft version may differ from published one.}\n}\n\n","author_short":["Cassez, F.","Tripakis, S."],"editor_short":["Jard, C.","Roux, O. H."],"key":"cassez-diag-iste-2009","id":"cassez-diag-iste-2009","bibbaseid":"cassez-tripakis-communicatingembeddedsystems-2009","role":"author","urls":{"Paper":"http://science.mq.edu.au/~fcassez/bib/papers/iste-wiley-book-diag.pdf"},"metadata":{"authorlinks":{}}},"bibtype":"inbook","biburl":"http://science.mq.edu.au/~fcassez/bib/franck-bib.bib","dataSources":["8742EsvjQfyP2fYBW","qbqYFWskmoonRB43F","yYF8uwWqay28JyxZC"],"keywords":[],"search_terms":["communicating","embedded","systems","cassez","tripakis"],"title":"Communicating Embedded Systems","year":2009}