“Reliability model of the fault-tolerant multicore system with software recovery”, RADAP, no. 54, pp. 33–43, Sep. 2013, doi: 10.20535/RADAP.2013.54.33-43.