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