High reliability computing for control and safety | IEEE Conference Publication | IEEE Xplore