Viktorova, Valentina, and Armen Stepanyants. 2021. “Software for Testability Analysis of Aviation Systems”. Advances in Systems Science and Applications 21 (1), 113-38. https://doi.org/10.25728/assa.2021.21.1.1052.