Brook Auto: High-Level Certification-Friendly Programming for GPU-powered Automotive Systems | Publicación