Software for Testability Analysis of Aviation Systems. (2021). Advances in Systems Science and Applications, 21(1), 113-138. https://doi.org/10.25728/assa.2021.21.1.1052