The ceiling adjustment scheme for improving the concurrency of real-time systems with mixed workloads | IEEE Conference Publication | IEEE Xplore