Use of nested renewals to model availability under opportunistic maintenance policies | IEEE Conference Publication | IEEE Xplore