Software for Testability Analysis of Aviation Systems. Adv Syst Sci Appl. 2021;21(1):113-138. doi:10.25728/assa.2021.21.1.1052