Efficient Analysis of Repairable Computing Systems Subject to Scheduled Checkpointing | IEEE Journals & Magazine | IEEE Xplore