Dr. Patrick Rogers, AdaCore