Failure probability (liveness, corruption and repairability)

Hi there,

I saw the slide below from a technical overview on IC (A Technical Overview of the Internet Computer | DFINITY | The Internet Computer Review). It shows the failure probability of liveness, corruption and repairability of various subnets.

Can you let me know how are they derived? Is there any paper or article giving the mathematical model behind this?