Fault-tolerant scheduling of multicore mixed-criticality systems under permanent failures | IEEE Conference Publication | IEEE Xplore