Use of automated tools for analyzing the propagation of failures in aircraft systemValentina Erpyleva and Yuri BalashovE3S Web of Conf., 402 (2023) 02005DOI: https://doi.org/10.1051/e3sconf/202340202005