Ontology-Based Model Driven Engineering for Safety Verification. - Konstantinos Mokos; Georgios Meditskos; Panagiotis Katsaros; Nick Bassiliades; Vangelis Vasiliades (EUROMICRO-SEAA, 2010)