Text this: Independence Requirement Analysis for Common-Mode Analysis of Aircraft System Safety Based on AADL