Safety in Traffic Management Systems: A Comprehensive Survey