A formal specification of the concurrency control in real-time databases | IEEE Conference Publication | IEEE Xplore