Compositional Reasoning in Model-Based Verification of Adaptive Embedded Systems | IEEE Conference Publication | IEEE Xplore