Knowledge-Based Virtual Modeling and Simulation of Manufacturing Processes for Industry 4.0 | Synapse