On the Liveness of Guidepath-Based, Zone-Controlled Dynamically Routed, Closed Traffic Systems | IEEE Journals & Magazine | IEEE Xplore