A limit theorem for a queueing system

We consider a system which consists of two identical and independently working devices and two repair shops. The failure occurs when both the devices are out of order. Under the condition of «quick» repair (1) the failures' point process is proved to be asymptotically Poisson.