Viktorova, V. S., & Stepanyants, A. S. (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