A robust, tactic-based, real-time framework for public-transport transfer synchronization. (November 2015)