Workload model specifications and adaptive scheduling of semi-hard real-time controls | IEEE Conference Publication | IEEE Xplore