Variable Aspects and Models for Reusable Component-Based Avionics Systems. | AMiner