TY  - RPRT
TI  - Synthesizing Robust Systems with RATSY
AU  - Roderick Bloem
AU  - Hans-Jürgen Gamauf
AU  - Georg Hofferek
AU  - Bettina Könighofer
AU  - Robert Könighofer
PY  - 2012
DO  - 10.4204/eptcs.84.4
UR  - https://arxiv.org/abs/1207.1268
ID  - 1207.1268
ER  -