CERBERO Cross-layer modelling methodology for CPSs (Final version)

Preliminary and final reviews on the state of the art on modelling CPSs, explaining in detail the concept of cross-layer modelling and describing the CERBERO methodology to model CPS by using interdependent cross-layer models. The software produced within this deliverable and update correspond to fully explained models generated and analysed using the CERBERO cross-layer methodology. The preliminary review and software will be submitted at month 15.