Cache-Based Checkpointing for Preemptive Real-Time Systems * | Publicación