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