Real-Time Scheduling for GPUs with Applications in Advanced Automotive Systems