A new checkpoint mechanism for real time operating systems | Publicación