Text this: MASCoT : a model-based automatic software compensation toolkit for feedback systems