An opportunistic maintenance optimization model for shaft seals in feed-water pump systems in nuclear power plants | IEEE Conference Publication | IEEE Xplore