1. A method for synthesizing a simulation model of a cyber-physical system, based on a functional model of the cyber-physical system, the method comprising: by a processor, identifying input flows and output flows of a function included in the functional model of the cyber-physical system; by the processor, identifying as secondary flows those input flows and output flows of the function that are not inherent to the function; by the processor, using a context provided by the secondary flows, implying a simulation model component that maps to the function of the functional model; and repeating the above operations on additional functions included in the functional model to imply additional simulation model components.