HiRel-reliability/availability integrated workstation tool | IEEE Conference Publication | IEEE Xplore