Engineering of automotive systems