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