Towards conformant models of automated electric vehicles | IEEE Conference Publication | IEEE Xplore