Model-Based Run-Time Synthesis of Architectural Configurations for Adaptive MILS Systems