Publication [JungesGKRS17] Fault trees on a diet: automated reduction by graph rewriting Junges, S.; Guck, D.; Katoen, J.-P.; Rensink, A. and Stoelinga, M. In Formal Asp. Comput., 29: 651-703, 2017.Downloads: bib
