Functional decomposition in a vehicle control system | IEEE Conference Publication | IEEE Xplore