Influence of software on fault-tolerant microprocessor control system dependability | IEEE Conference Publication | IEEE Xplore