Slawomir Hanczewski, Maciej Stasiak, Michal Weissenberg: The Analytical Model of Complex Non-Full-Availability System. IP&C 2019: 279-286