Coding the Software-Defined Car