Real-Time Multiprocessor Systems with GPUs