Formal Engineering Design Synthesis | lit.salon