Text this: Multiple objective control synthesis /