Producing the system specification for UK motorway tolling | IET Conference Publication | IEEE Xplore