A Framework for Standardized Partitioning Analysis in Integrated Modular Avionics Systems. - Jilu Zhang; Yong Cai 002; Weikai Miao; Zhouyang Wang (SFPVV, 2024)