Comparison of Scheduling Algorithms for Efficient Parallel Processing of Red-Time Linear Control Systems | IEEE Conference Publication | IEEE Xplore