Elements of reliable computing | Publicación