A Performance Study of the Semantic-Based Concurrency Control Protocol in Air Traffic Control Systems.