Availability analysis of safety-critical and control systems of NPP using stochastic modeling. (November 2020)