Soft-error detection and execution observation for ARM microprocessors | Publicación