Using Models at Runtime to Address Assurance for Self-Adaptive Systems | Publicación