Model-Based Dependable Composition of Self-Adaptive Systems. IJCAI 35 (1).