Title: Formal engineering design synthesis
Subjects: Engineering design