Б. Волочій, Л. Озірковський, О. Муляк, М. Змисний, and Т. Панський, “Reliability model of the fault-tolerant multicore system with software recovery”, RADAP, no. 54, pp. 33-43, Sep. 2013.