Formal Engineering Design Synthesis