An optimal sparing model for the operational availability to approach the inherent availability | IEEE Conference Publication | IEEE Xplore