| 1.1 | Assessment of languages and tools for the automatic formalisation of system requirements | 1 | R | PU | M12 |
| 1.2 | Report on modelling of networked cyber-physical system for verification and control | 1 | R | PU | M30 |
| 1.3 | Report on conformance testing in the development process | 1 | R | PU | M48 |
| 2.1 | Report on behaviour prediction for cyber-physical systems | 2 | R | PU | M12 |
| 2.2 | Report on distributed model predictive control for cyber-physical systems and efficient computation | 2 | R | PU | M30 |
| 2.3 | Report on interleaving online control and reachability computation for certified behaviour of cyber-physical systems | 2 | R | PU | M48 |
| 3.1 | Report on reachability analysis of nonlinear systems and compositional verification | 3 | R | PU | M12 |
| 3.2 | Report on pre-computation of reachable sets, advances in compositional verification, and incremental verification in interaction with online controller adaptation | 3 | R | PU | M30 |
| 3.3 | Report on compositional verification, and incremental verification in interaction with online controller adaptation | 3 | R | PU | M48 |
| 3.4 | Assessment of the certifiability for the relevant safety standards | 3 | R | PU | M48 |
| 4.1 | Theoretical foundation for combining zonotopes and support functions | 4 | R | PU | M12 |
| 4.2 | Extension of the SCADE language for continuous modelling | 4 | R | PU | M30 |
| 4.3 | UnCoVerCPS tool chain | 4 | DEM | PU | M48 |
| 5.1 | Report on application models | 5 | R | PU | M12 |
| 5.2 | Report on conformance testing of application models | 5 | R | PU | M30 |
| 5.3 | Report on application simulation data and experimental results | 5 | R | PU | M48 |
| 6.1 | Website | 6 | DEC | PU | M3 |
| 6.2 | First version of the data management plan | 6 | R | PU | M6 |
| 6.3 | First report on dissemination and exploitation | 6 | R | PU | M12 |
| 6.4 | Second report on dissemination and exploitation | 6 | R | PU | M30 |
| 6.5 | Final version of the data management plan | 6 | R | PU | M48 |
| 6.6 | Final report on dissemination and exploitation | 6 | R | PU | M48 |
| 7.1 | Minutes of all meetings | 7 | R | CI | M48 |