TY - RPRT TI - Predictable Modelling and Analysis of Software-defined Vehicle Implementations AU - Pavlo Tokariev AU - Yosri Ayari AU - Julien Deantoni PY - 2026 UR - https://arxiv.org/abs/2609.17392 ID - 2609.17392 ER -