System Architecture and Application-Specific Verification Method for Fault-Tolerant Automated Driving Systems | IEEE Conference Publication | IEEE Xplore