A vehicle is transferred from a first state into a second state. This state transition is triggered by a control unit as a reaction on a user input. The control unit executes a control program. The user input is captured by a user interface unit executing user interface specification. A program generator generates the control program from a computer-executable state transition model. A user interface generator generates the user interface specification from the same state transition model. This state transition model specifies all possible state transitions and the corresponding user input capturing objects.
