Real-Time Validation of Fault-Tolerant Mixed-Criticality Systems | IEEE Conference Publication | IEEE Xplore