A conditional abortable priority ceiling protocol for real-time systems with mixed tasks | IEEE Conference Publication | IEEE Xplore