Б. Волочій, Л. Озірковський, Т. Панський, and О. Муляк, “Methodology for determining the reliability of fault-tolerant hardware-software radioelectronic systems”, RADAP, no. 55, pp. 71-79, Dec. 2013.