System availability in a shock model under preventive repair and phase‐type distributions | Publicación