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