Mokos, et al.. Ontology-based Model Driven Engineering for Safety Verification. IEEE, 2010, doi:10.1109/seaa.2010.60.