Testing Embedded Software Functionality of Safety Critical Brake-by-Wire Systems Based on Vector Toolchain | IEEE Conference Publication | IEEE Xplore