2021. Software for Testability Analysis of Aviation Systems. Advances in Systems Science and Applications. 21, 1 (Mar. 2021), 113–138. DOI:https://doi.org/10.25728/assa.2021.21.1.1052.