Integration of safety analysis in model-driven software development | Publicación