Schedule-Based Dynamic Transit Modeling: theory and applications · Study