双过程机热备份集群系统的可信性建模与仿真

• Dependability modeling and simulating of a two-node hot-standby cluster of process control system