Stochastic Petri nets and inheritance for dependability modelling | Publicación