Traffic micro-simulation as a validation tool for developing genetic algorithms for green wave optimization | IEEE Conference Publication | IEEE Xplore