GRust: Bridging Modeling and Rust Development for Software-Defined Vehicles | Synapse