Extraction, Transformation & Loading Tools and Model Checking v2

Summary
Final version of the Extraction, Transformation & Loading and Model Checking Tools – based on the first version of D7.2, the final version of the COGITO architecture and feedback received from WP2-WP6, the Extraction, Transformation & Loading and Model Checking Tools are updated to form their final version.