Availability modeling and validation methodology for RS/6000 systems | IEEE Conference Publication | IEEE Xplore