Injecting faults to succeed. Verification of the boot software on-board solar orbiter's energetic particle detector | Publicación