A Non-Database Operations Aware Priority Ceiling Protocol for Hard Real-Time Database Systems | IEEE Conference Publication | IEEE Xplore