Modelling and analysis of two-unit hot standby database system with random inspection of standby unit. - Amit Manocha; Gulshan Taneja; Sukhvir Singh; Rahul Rishi (Int. J. Math. Oper. Res., 2019)