Using COTS software in high assurance control applications | IEEE Conference Publication | IEEE Xplore