Dr. Dudrey Smith, AdaCore