Modular Verification of Dynamically Adaptive Systems