Formal methods approach to the charging facility location problem for battery electric vehicles | IEEE Conference Publication | IEEE Xplore