Short-term availability and performability analysis for a large-scale multi-state system based on robotic sensors. - Anatoly Lisnianski; Evgeniy Levit; Lina Teper (Reliab. Eng. Syst. Saf., 2021)