Automated Dynamic Safety Evaluation of Generic Fail-Operational Mechatronic Systems | IEEE Conference Publication | IEEE Xplore