From: Peter Hermann on

http://www.ihr.uni-stuttgart.de/forschung/ada/resources_on_ada/
is updated with GCN hot topic on top. My concern:

In
http://www.gcn.com/print/27_8/46116-1.html
this sequence of sentences

------

Praxis, a U.K. systems engineering company,
is providing the operating code ---for IFacts.
In 2002, England???s busiest airport terminal, London Heathrow Airport,
suffered a software-based breakdown of its airplane routing system.

Praxis is under a lot of pressure to ensure its code is free from defects.

------

may be misleading to the impression that Heathrow software
is written in Ada... This is not the case I found out.

My question still remains: Which programming language.