Viktorova, V.; Stepanyants, A. Software for Testability Analysis of Aviation Systems. ASSA 2021, 21, 113-138.