AdaCore In the Press in 2011.