Text this: Synthesis of feedback systems/