Software for Testability Analysis of Aviation Systems. Adv Syst Sci Appl [Internet]. 2021 Mar. 31 [cited 2025 Mar. 31];21(1):113-38. Available from: https://ijassa.ipu.ru/index.php/ijassa/article/view/1052