https://123dok.net/document/y4w240l5-markov-availability-infrastructure-service-considering-failures-physical-machines.html