An algorithm to partition the operational availability parts of an optimal provisioning strategy | IEEE Conference Publication | IEEE Xplore