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