“Software for Testability Analysis of Aviation Systems”, Adv Syst Sci Appl, vol. 21, no. 1, pp. 113–138, Mar. 2021, doi: 10.25728/assa.2021.21.1.1052.