@inbook{cassez-control-iste-2009,
   author = {Franck Cassez and Markey, Nicolas},
   title = {Communicating Embedded Systems},
   editor = {Jard, Claude and Roux, Olivier H.},
   month = oct,
   pages = {83--120},
   publisher = {ISTE Ltd. -- John Wiley \& Sons, Ltd},
   chapter = {Control of Timed Systems},
  xxurl = {http://www.iste.co.uk/index.php?ACTION=Browse&CatParent=FUB2},
   year = {2009},
  urlpaper = {papers/iste-wiley-book-control.pdf},
abstract={In this book Chapter we address the problem of controller synthesis for timed systems. By
timed systems we refer to systems which are subject to quantitative (hard) real-time
constraints. We assume the reader is familiar with the basics of Timed Automata
theory, or has read Chapter 1 and Chapter 2 in this book. },
XXnote={Draft version may differ from published one.},
      Type = {C - Book Chapters},

}

{"_id":"BLw4vLDbuut2xTCK6","bibbaseid":"cassez-markey-communicatingembeddedsystems-2009","author_short":["Cassez, F.","Markey, N."],"bibdata":{"bibtype":"inbook","type":"C - Book Chapters","author":[{"firstnames":["Franck"],"propositions":[],"lastnames":["Cassez"],"suffixes":[]},{"propositions":[],"lastnames":["Markey"],"firstnames":["Nicolas"],"suffixes":[]}],"title":"Communicating Embedded Systems","editor":[{"propositions":[],"lastnames":["Jard"],"firstnames":["Claude"],"suffixes":[]},{"propositions":[],"lastnames":["Roux"],"firstnames":["Olivier","H."],"suffixes":[]}],"month":"October","pages":"83–120","publisher":"ISTE Ltd. – John Wiley & Sons, Ltd","chapter":"Control of Timed Systems","xxurl":"http://www.iste.co.uk/index.php?ACTION=Browse&CatParent=FUB2","year":"2009","urlpaper":"papers/iste-wiley-book-control.pdf","abstract":"In this book Chapter we address the problem of controller synthesis for timed systems. By timed systems we refer to systems which are subject to quantitative (hard) real-time constraints. We assume the reader is familiar with the basics of Timed Automata theory, or has read Chapter 1 and Chapter 2 in this book. ","xxnote":"Draft version may differ from published one.","bibtex":"@inbook{cassez-control-iste-2009,\n author = {Franck Cassez and Markey, Nicolas},\n title = {Communicating Embedded Systems},\n editor = {Jard, Claude and Roux, Olivier H.},\n month = oct,\n pages = {83--120},\n publisher = {ISTE Ltd. -- John Wiley \\& Sons, Ltd},\n chapter = {Control of Timed Systems},\n xxurl = {http://www.iste.co.uk/index.php?ACTION=Browse&CatParent=FUB2},\n year = {2009},\n urlpaper = {papers/iste-wiley-book-control.pdf},\nabstract={In this book Chapter we address the problem of controller synthesis for timed systems. By\ntimed systems we refer to systems which are subject to quantitative (hard) real-time\nconstraints. We assume the reader is familiar with the basics of Timed Automata\ntheory, or has read Chapter 1 and Chapter 2 in this book. },\nXXnote={Draft version may differ from published one.},\n Type = {C - Book Chapters},\n\n}\n\n","author_short":["Cassez, F.","Markey, N."],"editor_short":["Jard, C.","Roux, O. H."],"key":"cassez-control-iste-2009","id":"cassez-control-iste-2009","bibbaseid":"cassez-markey-communicatingembeddedsystems-2009","role":"author","urls":{"Paper":"http://science.mq.edu.au/~fcassez/bib/papers/iste-wiley-book-control.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","markey"],"title":"Communicating Embedded Systems","year":2009}