CAREL: computer aided reliability evaluator for distributed computing networks | IEEE Journals & Magazine | IEEE Xplore