Formal Engineering Design Synthesis door