Synthesizing Robust Systems with RATSY - Roderick Bloem; Hans-Jürgen Gamauf; Georg Hofferek; Bettina Könighofer; Robert Könighofer (SYNT, 2012)