V&V Techniques for Cyber-Physical Systems - Final Version

This deliverable is an updated version of D2.1, and collects the final outputs of tasks T2.1 and T2.2. It will contain thefinal version of the ADVANCE techniques for the V&V of Cyber-Physical Systems.