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