SELENE: Self-Monitored Dependable Platform for High-Performance Safety-Critical Systems - Hernández, Carles; Flieh, Jose; Paredes, Roberto; Lefebvre, Charles-Alexis; Allende, Imanol; Abella Ferrer, Jaume; Trillin, David; Matschnig, Martin; Fischer, Bernhard; Schwarz, Konrad; Kiszka, Jan; Rönnbäck, Martin; et al. (2020 23rd Euromicro Conference on Digital System Design (DSD), 2020)