Unified Modeling Method of Heterogeneous Resources for Multi-platform Avionics System Based on AADL | IEEE Conference Publication | IEEE Xplore