The paper “Safety Analysis for Vehicle Guidance Systems with Dynamic Fault Trees” by Sebastian Junges, Joost-Pieter Katoen, Majdi Ghadhab (BMW), Matthias Volk, Matthias Kuntz (BMW) has been accepted to the journal Reliability Engineering and System Safety (impact factor 4,1). The paper shows how to model a variety of safety concepts and E/E architectures for drive automation, and that by means of efficient model-checking procedures larger-than-ever-before dynamic fault trees can be solved within a matter of minutes.