Cubo, J., et al. “Model-Based Dependable Composition of Self-Adaptive Systems”. Informatica, vol. 35, no. 1, https://puffbird.ijs.si/index.php/informatica/article/view/333.