AdaCore In the Press in June 2012.