@inproceedings{mokos_meditskos_katsaros_bassiliades_vasiliades_2010, 
  title={Ontology-Based Model Driven Engineering for Safety Verification}, 
  DOI={10.1109/seaa.2010.60}, 
  publisher={IEEE}, 
  author={Mokos and Meditskos and Katsaros and Bassiliades and Vasiliades}, 
  year={2010}
  }