CERBERO Modelling of KPI (Final version)

Summary
Preliminary and final reviews on the state of the art on modelling system’s key performance indicators (KPI) and on newly developed CERBERO techniques and methodologies for modelling CPSs properties and their indicators. Emphasis is put on specification of the models for the different use cases. CERBERO library of KPI is also produces. The preliminary report and software will be submitted at month 15.