10 Balázs Polgár 2011 D 3.3b - Ontology Based Model Verification (Final Version) https://www.mogentes.eu/public/deliverables/MOGENTES_3-14-1.4r_D3.3b_OntolModelVerif-final.pdf