DesignCockpit43 - Formalize the Engineering. Generate the Design. | Synapse