Roderick Chapman and Yannick Moy, AdaCore