Theoretical and operational challenges of “high-reliability organizations”: air-traffic control and aircraft carriers | Synapse