Online Consistency Checking and Origin-Destination Demand Updating: Recursive Approaches with Real-Time Dynamic Traffic Assignment Operator · Study