Model based integration of safety analysis and development | Publicación