@nxobject I meant litterally. The ATC system is derived from the IBM 9020 which was itself a set of interconnected System 360 systems: https://en.wikipedia.org/wiki/IBM_9020

I believe it's all virtualized today