Hardware/software solutions to enable the use of high-performance processors in the most stringent safety-critical systems | Publicación