Benjamin M. Brosgol, PhD, AdaCore