Case Study: Air Traffic Control System | part of Resource Management in Real-Time Systems and Networks | MIT Press books | IEEE Xplore