Increasing Processor Utilization in Hard-Real-Time Systems with Checkpoints. - Alan A. Bertossi; Massimo Bonometto; Luigi V. Mancini (Real Time Syst., 1995)