@inbook{cassez-diag-iste-2013,
   author = {Franck Cassez and Tripakis, Stavros},
   title = {Communicating Embedded Systems},
   editor = {Jard, Claude and Roux, Olivier H.},
   month = feb,
   pages = {107--138},
   publisher = {ISTE Ltd. -- John Wiley \& Sons, Ltd},
   chapter = {Fault Diagnosis of Timed Systems},
   keywords = {diagnosis, timed automata},
  mywbepage = {timed},
  url = {http://onlinelibrary.wiley.com/book/10.1002/9781118558188},
   year = {2013},
      note = {New edition, 2013},
    doi = {10.1002/9781118558188},
   isbn = {9781848211438},
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.},
                    Type = {C - Book Chapters},

}

{"_id":"xYx33XonfKCjxEYM5","bibbaseid":"cassez-tripakis-communicatingembeddedsystems-2013","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":"February","pages":"107–138","publisher":"ISTE Ltd. – John Wiley & Sons, Ltd","chapter":"Fault Diagnosis of Timed Systems","keywords":"diagnosis, timed automata","mywbepage":"timed","url":"http://onlinelibrary.wiley.com/book/10.1002/9781118558188","year":"2013","note":"New edition, 2013","doi":"10.1002/9781118558188","isbn":"9781848211438","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.","bibtex":"@inbook{cassez-diag-iste-2013,\n author = {Franck Cassez and Tripakis, Stavros},\n title = {Communicating Embedded Systems},\n editor = {Jard, Claude and Roux, Olivier H.},\n month = feb,\n pages = {107--138},\n publisher = {ISTE Ltd. -- John Wiley \\& Sons, Ltd},\n chapter = {Fault Diagnosis of Timed Systems},\n keywords = {diagnosis, timed automata},\n mywbepage = {timed},\n url = {http://onlinelibrary.wiley.com/book/10.1002/9781118558188},\n year = {2013},\n note = {New edition, 2013},\n doi = {10.1002/9781118558188},\n isbn = {9781848211438},\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.},\n Type = {C - Book Chapters},\n\n}\n\n","author_short":["Cassez, F.","Tripakis, S."],"editor_short":["Jard, C.","Roux, O. H."],"key":"cassez-diag-iste-2013","id":"cassez-diag-iste-2013","bibbaseid":"cassez-tripakis-communicatingembeddedsystems-2013","role":"author","urls":{"Paper":"http://onlinelibrary.wiley.com/book/10.1002/9781118558188"},"keyword":["diagnosis","timed automata"],"metadata":{"authorlinks":{}}},"bibtype":"inbook","biburl":"http://science.mq.edu.au/~fcassez/bib/franck-bib.bib","dataSources":["8742EsvjQfyP2fYBW","qbqYFWskmoonRB43F"],"keywords":["diagnosis","timed automata"],"search_terms":["communicating","embedded","systems","cassez","tripakis"],"title":"Communicating Embedded Systems","year":2013}