VIKTOROVA, V.; STEPANYANTS, A. Software for Testability Analysis of Aviation Systems. Advances in Systems Science and Applications, v. 21, n. 1, p. 113-138, 31 mar. 2021.