Viktorova, Valentina S., and Armen S. 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.