8. A method as in claim 4 , further comprising: by the processor, inserting the recycle function at a location in the functional model; for a resulting functional model containing the recycle function at the location, generating a corresponding simulation model; computing a characteristic value of a cyber-physical system modeled by the corresponding simulation model; repeating the inserting, the generating and the computing for a plurality of locations to generate a plurality of simulation models and characteristic values; and choosing a simulation model from the plurality of simulation models based on the characteristic value.
8. A method as in claim 4 , further comprising: by the processor, inserting the recycle function at a location in the functional model; for a resulting functional model containing the recycle function at the location, generating a corresponding simulation model; computing a characteristic value of a cyber-physical system modeled by the corresponding simulation model; repeating the inserting, the generating and the computing for a plurality of locations to generate a plurality of simulation models and characteristic values; and choosing a simulation model from the plurality of simulation models based on the characteristic value. 9. A method as in claim 8 , wherein the characteristics are compared using at least one engineering rule.