GRust: A Programming Language for Automotive Engineering. - Émilie Thomé; Xavier Denis; Christine Tasson (FMICS, 2025)