Model-Based Integration of Safety Analysis and Reliable Software Development | Publicación