J. Cubo, C. Canal, and E. Pimentel, “Model-Based Dependable Composition of Self-Adaptive Systems”, IJCAI, vol. 35, no. 1.