@inproceedings(Bloem10d,
 author       = "Roderick Bloem and Krishnendu Chatterjee and Karin Greimel and Thomas A. Henzinger and Barbara Jobstmann",
 year         = "2010",
 title        = "Robustness in the Presence of Liveness",
 booktitle    = "CAV",
 pages        = "410--424",
 url          = "http://dx.doi.org/10.1007/978-3-642-14295-6_36",
)
@inproceedings(Bloem10c,
 author       = "Roderick Bloem and Alessandro Cimatti and Karin Greimel and Georg Hofferek and Robert K{\"o}nighofer and Marco Roveri and Viktor Schuppan and Richard Seeber",
 year         = "2010",
 title        = "RATSY - A New Requirements Analysis Tool with Synthesis",
 booktitle    = "CAV",
 pages        = "425--429",
 url          = "http://dx.doi.org/10.1007/978-3-642-14295-6_37",
)
@inproceedings(Bloem07b,
 author       = "Roderick Bloem and Stefan J. Galler and Barbara Jobstmann and Nir Piterman and Amir Pnueli and Martin Weiglhofer",
 year         = "2007",
 title        = "Interactive presentation: Automatic hardware synthesis from specifications: a case study",
 booktitle    = "DATE",
 pages        = "1188--1193",
 url          = "http://doi.acm.org/10.1145/1266366.1266622",
)
@inproceedings(Bloem07,
 author       = "Roderick Bloem and Stefan J. Galler and Barbara Jobstmann and Nir Piterman and Amir Pnueli and Martin Weiglhofer",
 year         = "2007",
 title        = "Specify, Compile, Run: Hardware from PSL",
 volume       = "190",
 pages        = "3--16",
 url          = "http://dx.doi.org/10.1016/j.entcs.2007.09.004",
)
@inproceedings(Bloem09b,
 author       = "Roderick Bloem and Karin Greimel and Thomas A. Henzinger and Barbara Jobstmann",
 year         = "2009",
 title        = "Synthesizing robust systems",
 booktitle    = "FMCAD",
 pages        = "85--92",
 url          = "http://dx.doi.org/10.1109/FMCAD.2009.5351139",
)
@inproceedings(Church62,
 author       = "A. Church",
 year         = "1962",
 title        = "Logic, Arithmetic and Automata",
 booktitle    = "Proceedings International Mathematical Congress",
)
@inproceedings(Doyen10,
 author       = "Laurent Doyen and Thomas A. Henzinger and Axel Legay and Dejan Nickovic",
 year         = "2010",
 title        = "Robustness of Sequential Circuits",
 booktitle    = "ACSD",
 pages        = "77--84",
 url          = "http://doi.ieeecomputersociety.org/10.1109/ACSD.2010.26",
)
@inproceedings(Majumd11,
 author       = "Rupak Majumdar and Elaine Render and Paulo Tabuada",
 year         = "2011",
 title        = "Robust discrete synthesis against unspecified disturbances",
 booktitle    = "HSCC",
 pages        = "211--220",
 url          = "http://doi.acm.org/10.1145/1967701.1967732",
)
@inproceedings(Piterm06c,
 author       = "Nir Piterman and Amir Pnueli",
 year         = "2006",
 title        = "Faster Solutions of Rabin and Streett Games",
 booktitle    = "LICS",
 pages        = "275--284",
 url          = "http://doi.ieeecomputersociety.org/10.1109/LICS.2006.23",
)
@inproceedings(Piterm06b,
 author       = "Nir Piterman and Amir Pnueli and Yaniv Sa'ar",
 year         = "2006",
 title        = "Synthesis of Reactive(1) Designs",
 booktitle    = "VMCAI",
 pages        = "364--380",
 url          = "http://dx.doi.org/10.1007/11609773_24",
)
@inproceedings(Pnueli89,
 author       = "Amir Pnueli and Roni Rosner",
 year         = "1989",
 title        = "On the Synthesis of a Reactive Module",
 booktitle    = "POPL",
 pages        = "179--190",
 url          = "http://doi.acm.org/10.1145/75277.75293",
)
@inproceedings(Shivak02,
 author       = "Premkishore Shivakumar and Michael Kistler and Stephen W. Keckler and Doug Burger and Lorenzo Alvisi",
 year         = "2002",
 title        = "Modeling the Effect of Technology Trends on the Soft Error Rate of Combinational Logic",
 booktitle    = "DSN",
 pages        = "389--398",
 url          = "http://doi.ieeecomputersociety.org/10.1109/DSN.2002.1028924",
)