Eugene Larkin, Alexey Ivutin, Andrey Malikov: Fetri-Markoc model of fault-tolerant computer systems. CoDIT 2017: 416-420