Reliability and availability analysis of high-altitude platform stations through semi-Markov modeling. - Nikita Mittal; Nika M. Ivanova; Vidyottama Jain; Vladimir Vishnevsky (Reliab. Eng. Syst. Saf., 2024)