Analysis and Risk Reduction in Operation of Hazardous Programmable Electronic Systems | IEEE Conference Publication | IEEE Xplore