Viktorova, V. S. and Stepanyants, A. S. (2021) “Software for Testability Analysis of Aviation Systems”, Advances in Systems Science and Applications, 21(1), pp. 113–138. doi: 10.25728/assa.2021.21.1.1052.