Model-driven assessment of system dependability | Publicación