Modelling of type I and II errors of switching device for systems with hot and cold redundancy based on two-terminal dynamic fault tree | IEEE Conference Publication | IEEE Xplore