A model for Bayesian software reliability analysis | Publicación