Weyns, D., Bencomo, N., Calinescu, R., Cámara, J., Ghezzi, C., Grassi, V., …Tamburrelli, G. (2019). Perpetual Assurances for Self-Adaptive Systems