CHAOS/sup art/: support for real-time atomic transactions | IEEE Conference Publication | IEEE Xplore