State of the art in the V&V of CPSs

Summary
This deliverable is the output of T1.2, and will contain an analysis of the state of the art on the V&V of CPS.