Mathematical Model of the Reliability of a Computer System Operating in the Residual Class System, Based on Dynamic Redundancy | IEEE Conference Publication | IEEE Xplore