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