Analysis of automatically generated vehicle system control software in a HIL environment | IEEE Conference Publication | IEEE Xplore