Viktorova, V. S.; Stepanyants, A. S. Software for Testability Analysis of Aviation Systems. Adv Syst Sci Appl 2021, 21, 113-138.