Assurances for self-adaptive systems : Principles, models, and techniques.