AdaCore In the Press in December 2011.