Verification tests for the behavioural theory of multi-lane traffic flow at a weaving segment | IEEE Conference Publication | IEEE Xplore