Computer software, namely, software for enabling redundant operation of computers in the process control and industrial automation industries