Air traffic control is one of the most demanding safety critical distributed systems with an enviable safety record. Using computer modelling researchers developed innovative approaches to handling uncertainty when designing such complex safety critical operations.
It's a scary thought, but air traffic brings with it the chance of a mid-air collision. But the safety record of the air industry is excellent, so obviously it works well.