Synthesizing robust systems
R. Bloem, K. Greimel, T.A. Henzinger, B. Jobstmann, in:, Springer, 2009, pp. 85–92.