Publication [JungesGKS16] Uncovering Dynamic Fault Trees Junges, S.; Guck, D.; Katoen, J.-P. and Stoelinga, M. In DSN, pages 299-310, 2016.Downloads: bib
