Cross-layer CPS modelling framework