Formal Engineering Design Synthesis by