Pat Rogers, Senior Technical Staff, AdaCore