V. S. Viktorova and A. S. Stepanyants, “Software for Testability Analysis of Aviation Systems”, Adv Syst Sci Appl, vol. 21, no. 1, pp. 113–138, Mar. 2021.