Towards conformant models of automated electric vehicles | Publicación