XeroZerox: Analysis and Optimization of GPU Memory Management for High-Integrity Autonomous Systems | Publicación