On safety-critical computer control systems | IEEE Conference Publication | IEEE Xplore