Mixed arithmetic reduction model for two-unit system maintenance | IEEE Conference Publication | IEEE Xplore