A framework for simulation of concurrency control policy in real-time systems | IEEE Conference Publication | IEEE Xplore