Brook Auto: High-Level Certification-Friendly Programming for GPU-powered Automotive Systems | IEEE Conference Publication | IEEE Xplore