Komarov, 2005. Modeling High-Availability Cluster. SPIIRAS Proceedings. 2, 2 (Apr. 2005), 155-164. DOI:https://doi.org/10.15622/sp.2.13.