Performance/availability modeling with the TANGRAM-II modeling environmentR.M.L.R. CarmoL.R. De Carvalhoet al.1998Performance Evaluation