WG5 Verification and Case studies Overview of activities Flora Gofa ...