Benjamin M. Brosgol, AdaCore