@techreport { 208, title = {D 3.3b - Ontology Based Model Verification (Final Version)}, year = {2011}, URL = {https://www.mogentes.eu/public/deliverables/MOGENTES_3-14-1.4r_D3.3b_OntolModelVerif-final.pdf}, author = {Balázs Polgár} }