Transaction-based model for real-time distributed control systems | IEEE Conference Publication | IEEE Xplore