Formal engineering design synthesis | lit.salon