...
If model3 is dependent of model2 (model3->input(t) == model2->output(t)) it can not run and should wait for model2 to deliver the data. This could be specified on the model by defining that it should not fail when input data is missing. Instead it should just report as ok but not increase its timestep. This could result if a model never finishing if this is not detected.
The start and endtime of composite model overrule start and endtime of childmodels
The start and endtime of composite model cannot be 'larger' than the smallest child model.
The last rule rules out periodic extrapolation of model outputs.
Time notation for formula based model
...