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

}

{"_id":"yYiPCMGM9rqePuvEu","bibbaseid":"cassez-markey-communicatingembeddedsystems-2013","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":"February","pages":"67–105","publisher":"ISTE Ltd. – John Wiley & Sons, Ltd","chapter":"Control of Timed Systems","url":"http://onlinelibrary.wiley.com/book/10.1002/9781118558188","year":"2013","note":"New edition, 2013","doi":"10.1002/9781118558188","isbn":"9781848211438","keywords":"control, timed automata","mywbepage":"timed","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. ","bibtex":"@inbook{cassez-control-iste-2013,\n author = {Franck Cassez and Markey, Nicolas},\n title = {Communicating Embedded Systems},\n editor = {Jard, Claude and Roux, Olivier H.},\n month = feb,\n pages = {67--105},\n publisher = {ISTE Ltd. -- John Wiley \\& Sons, Ltd},\n chapter = {Control of Timed Systems},\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},\n keywords = {control, timed automata},\n mywbepage = {timed},\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. },\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-2013","id":"cassez-control-iste-2013","bibbaseid":"cassez-markey-communicatingembeddedsystems-2013","role":"author","urls":{"Paper":"http://onlinelibrary.wiley.com/book/10.1002/9781118558188"},"keyword":["control","timed automata"],"metadata":{"authorlinks":{}}},"bibtype":"inbook","biburl":"http://science.mq.edu.au/~fcassez/bib/franck-bib.bib","dataSources":["8742EsvjQfyP2fYBW","qbqYFWskmoonRB43F"],"keywords":["control","timed automata"],"search_terms":["communicating","embedded","systems","cassez","markey"],"title":"Communicating Embedded Systems","year":2013}