V. Viktorova and A. Stepanyants, “Software for Testability Analysis of Aviation Systems”, ASSA, vol. 21, no. 1, pp. 113-138, Mar. 2021.