Bounding steady-state availability models with group repair and phase type repair distributions | Publicación