An Approach for Supporting Temporal Partitioning and Software Reuse in Integrated Modular Avionics