Dependability modeling and analysis of software systems specified with UML | Publicación