Title: Formal Engineering Design Synthesis
Subjects: Engineering design