Santiago Rodríguez Antonio Pérez Rafael Méndez A New Checkpoint Mechanism for Real Time Operating Systems. 55-62 1997 31. Operating Systems Review 4 db/journals/sigops/sigops31.html#RodriguezPM97 http://doi.acm.org/10.1145/271019.271029