Safety Margin Development for a Space-Time Reservation Traffic Control System