AdaCore In the Press in March 2012.