Где используется язык программирования Ада?