Software can be entrusted with high consequence functionality | IEEE Conference Publication | IEEE Xplore