Reachability computation of low-order models for the safety verification of high-order road vehicle models | IEEE Conference Publication | IEEE Xplore