FESTAL: Fault-Tolerant Elastic Scheduling Algorithm for Real-Time Tasks in Virtualized Clouds | IEEE Journals & Magazine | IEEE Xplore