Correctability of fault-tolerant stochastic discrete-event systems. - Fuchun Liu; Rixiang Mo (Syst. Control. Lett., 2017)