COTS and high assurance: an oxymoron? | IEEE Conference Publication | IEEE Xplore