A Designer-Augmenting Framework for Self-Adaptive Control Systems