Safety analysis of integrated adaptive cruise control and lane keeping control using discrete-time models of port-Hamiltonian systems | IEEE Conference Publication | IEEE Xplore