@Inproceedings{EPTCS84.4, author = {Bloem, Roderick and Gamauf, Hans-J\"urgen and Hofferek, Georg and K\"onighofer, Bettina and K\"onighofer, Robert}, year = {2012}, title = {Synthesizing Robust Systems with RATSY}, editor = {Peled, Doron and Schewe, Sven}, booktitle = {{\rm Proceedings First Workshop on} Synthesis, {\rm Berkeley, California, USA, 7th and 8th July 2012}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {84}, publisher = {Open Publishing Association}, pages = {47-53}, doi = {10.4204/EPTCS.84.4}, }