%0 Journal Article %A Müller, Sascha %A Mikaelyan, Liana %A Gerndt, Andreas %A Noll, Thomas %T Synthesizing and optimizing FDIR recovery strategies from fault trees %J Science of computer programming %V 196 %@ 0167-6423 %C Amsterdam [u.a.] %I Elsevier Science %M RWTH-2020-08759 %P 102478 %D 2020 %F PUB:(DE-HGF)16 ; PUB:(DE-HGF)7 %9 Journal ArticleContribution to a book %U <Go to ISI:>//WOS:000540668900003 %R 10.1016/j.scico.2020.102478 %U https://publications.rwth-aachen.de/record/796082