Safety analysis for integrated modular avionics based on blueprintsJiayun Chu, Xiaohong Bao, Tingdi Zhao and Fuchun RenMATEC Web Conf., 169 (2018) 01029DOI: https://doi.org/10.1051/matecconf/201816901029