Analytical and Algorithmic Aspects of the Real-Time Dynamic Traffic Assignment Procedures for ATIS/ATMS Operations