| No. | Name | Diss. Level | Due month |
| D7.1 | The INTO-CPS infrastructure | CO | 2 |
| D1.1a | Case Studies 1 | PU/CO | 12 |
| D2.1a | Foundations of the SysML profile for CPS modelling | PU | 12 |
| D2.1b | Initial Semantics of VDM-RT | PU | 12 |
| D2.1c | Differential Equations in the Unifying Theories of Programming | PU | 12 |
| D2.1d | Foundations for FMI Co-Modelling | PU | 12 |
| D3.1a | Method Guidelines 1 | PU | 12 |
| D3.1b | Methods Progress Report 1 | PU | 12 |
| D3.4 | Examples Compendium 1 | PU | 12 |
| D4.1a | INTO-CPS Tool Chain User Manual | PU | 12 |
| D4.1b | Integration of simulators in the INTO-CPS Platform | PU | 12 |
| D4.1c | SysML and FMI in INTO-CPS | PU | 12 |
| D4.1d | Design of the INTO-CPS Platform | PU | 12 |
| D5.1a | DSE in the INTO-CPS Platform | PU | 12 |
| D5.1b | Distributed testing and simulation network | PU | 12 |
| D5.1c | Techniques for abstraction of continuous-time models into finite discrete-event models for model-checking | PU | 12 |
| D5.1d | Design Principles for Code Generators | PU | 12 |
| D6.1 | Dissemination Year 1 | CO | 12 |
| D7.2 | Periodic progress report year 1 | CO | 12 |
| D7.3 | Requirements report year 1 | CO | 12 |
| D1.2 | Case Studies 2 | PU/CO | 24 |
| D2.2 | Foundations Work Year 2 Overview | PU | 24 |
| D2.2a | Foundations of the SysML profile
for CPS modelling | PU | 24 |
| D2.2b | Final VDM-RT Semantics | PU | 24 |
| D2.2c | Initial Modelica semantics | PU | 24 |
| D2.2d | Foundations for FMI Co-modelling | PU | 24 |
| D3.2a | Method Guidelines 2 | PU | 24 |
| D3.2b | Methods Progress Report 2 | PU | 24 |
| D3.5 | Examples Compendium 2 | PU | 24 |
| D4.2a | INTO-CPS Tool Chain User Manual | PU | 24 |
| D4.2b | Updated Integration of simulators | PU | 24 |
| D4.2c | COE contracts from SysML | PU | 24 |
| D4.2d | INTO-CPS Traceability Design | PU | 24 |
| D5.2a | Test Automation Module | PU | 24 |
| D5.2b | Implementation of a Model-Checking Component | PU | 24 |
| D5.2c | FMI-Compliant Code Generation in the INTO-CPS Tool Chain | PU | 24 |
| D5.2d | DSE in the INTO-CPS Platform | PU | 24 |
| D6.2 | Dissemination Year 2 | CO | 24 |
| D7.4 | Periodic progress report year 2 | CO | 24 |
| D7.5 | Requirements report year 2 | CO | 24 |
| D1.3 | Case Studies 3 | PU/CO | 36 |
| D2.3a | SysML Foundations for INTO-CPS | PU | 36 |
| D2.3b | Final Semantics of Modelica | PU | 36 |
| D2.3c | A Mechanised FMI Semantics | PU | 36 |
| D2.3d | Multi-Model Linking Semantics | PU | 36 |
| D3.3a | Method Guidelines 3 | PU | 36 |
| D3.3b | Methods Progress Report 3 | PU | 36 |
| D3.6 | Examples Compendium 3 | PU | 36 |
| D4.3a | INTO-CPS Tool Chain User Manual | PU | 36 |
| D4.3b | Final Integration of Simulators in the INTO-CPS Platform | PU | 36 |
| D4.3c | SysML and FMI in INTO-CPS | PU | 36 |
| D4.3d | INTO-CPS Traceability Implementation | PU | 36 |
| D5.3a | Integration of Tool Chain Extension Modules with the COE | PU | 36 |
| D5.3b | Demonstration of Integrated Co-Simulation and Testing | PU | 36 |
| D5.3c | Implementation of a Model Checking Component for Global Model Checking | PU | 36 |
| D5.3d | FMI-Compliant Code Generation in the INTO-CPS Tool Chain | PU | 36 |
| D5.3e | DSE in the INTO-CPS Platform | PU | 36 |
| D6.3 | Dissemination Year 3 | CO | 36 |
| D7.6 | Periodic progress report year 3 | CO | 36 |
| D7.7 | Status of all Requirements | CO | 36 |