System level implementation, verification requirements and simulation case studies for 4D route planning and dynamic airspace functionalities