Point availability of Gaver’s duplex system supervised by a safety device unit

We analyse the point availability of Gaver’s parallel system supervised by a safety device. For safety reasons, no unit is allowed to operate without supervision. The entire system is attended by two heterogeneous repairmen. Our methodology is based on the theory of sectionally holomorphic functions combined with the notion of dual transforms. As an application we consider Coxian repair time distributions.