Assessment of the applicability of COTS microprocessors in high-confidence computing systems: a case study | IEEE Conference Publication | IEEE Xplore