Dr. Benjamin Brosgol, AdaCore