Availability models with age-dependent checkpointing | IEEE Conference Publication | IEEE Xplore