High availability multiprocessor systems | IET Conference Publication | IEEE Xplore