Cubo, J., C. Canal, and E. Pimentel. “Model-Based Dependable Composition of Self-Adaptive Systems”. Informatica 35 (1). https://puffbird.ijs.si/index.php/informatica/article/view/333.