Sergi Alcaide, Leonidas Kosmidis, Carles Hernández, Jaume Abella: High-Integrity GPU Designs for Critical Real-Time Automotive Systems. DATE 2019: 824-829