3 ms·ADA and SPARK are used in writing air traffic control systems. I find that impressive.by timbit42 2y agoADA and SPARK are used in writing air traffic control systems. I find that impressive.