MIRROR: a state-conscious concurrency control protocol for replicated real-time databases | IEEE Conference Publication | IEEE Xplore