D 3.3b - Ontology Based Model Verification (Final Version)