Computer systems availability evaluation using a segregated failures model