Hierarchical Control of Heavy-Duty Trucks Through Signalized Intersections With Non-Deterministic Signal Timing | IEEE Journals & Magazine | IEEE Xplore