Integration of safety analysis and software development methods | Publicación