Daniel Neider, Alexander Weinert, Martin Zimmermann: Synthesizing optimally resilient controllers. Acta Informatica 57(1-2): 195-221 (2020)