Text this: Formal engineering design synthesis /