Real-time commit protocol for distributed real-time database systems | IEEE Conference Publication | IEEE Xplore