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