AdaCore In the Press in September 2011.