MIRTES: MIddleware for real-time transactions in embedded systems | IEEE Conference Publication | IEEE Xplore