Case Study 5 Demonstrator - Interim Version

Summary
This deliverable will describe the initial use of the methodologies and tool-chain developed in CROSSMINER for the software quality assurance and trustworthiness case study. Additionally, it will also contain the initial construction and implementation details of its demonstrator as specified in WP1.