MX: a real-time fault and change-tolerant distributed system | IEEE Conference Publication | IEEE Xplore