Viktorova, V., and A. Stepanyants. “Software for Testability Analysis of Aviation Systems”. Advances in Systems Science and Applications, Vol. 21, no. 1, Mar. 2021, pp. 113-38, doi:10.25728/assa.2021.21.1.1052.