Modeling and analysis of integrated avionics processing systems | IEEE Conference Publication | IEEE Xplore