WeAT2 - 4 - Semantic_interoperability_large_systems_through_formal_method_MW_ML_HP_INCOM2018.pptx