А. Нікітчук and Б. Уваров, “Automation calculating the reliability of the radio electronic facilities”, RADAP, no. 54, pp. 82-89, Sep. 2013.