Dependability Analysis Techniques | Publicación