Will the ICDs Please Stand Up? An Attempt to Reason about Subsystem Interfaces in Avionics System Integration | IEEE Conference Publication | IEEE Xplore