Before revision:  In conclusion, our formally proven safety concept defines a holistic design pattern for ADS minimizing road fatalities .
After revision:  In conclusion, our formally proven safety concept defines a holistic design pattern for designing AD systems .