Text this: Using Models at Runtime to Address Assurance for Self-Adaptive Systems