Correction to: A model of checkpoint behavior for applications that have I/O | Publicación