A semantic-based concurrency control protocol for real-time transactions | IEEE Conference Publication | IEEE Xplore