Text this: Combined model- and rule-based controller synthesis with application to helicopter flight control