Formal Engineering Design Synthesis: Scientific Discovery and Inventive Engineering Design