A Framework of Real-Time Knowledge Capture and Formalization for Model-Based Design With Spoken Annotation and Design Operations | Synapse