Assessment criteria for safety critical computer | IEEE Conference Publication | IEEE Xplore