Check out his research group. They apparently have a collection of free code for Ada:
http://www.iste.uni-stuttgart.de/en/ps/adabasis.html
EDIT to add: Not just on a committee but helped write the Ada 2012 reference with Tucker Taft and some others. Too bad they're fans of paywalled and non-FOSS work. A lot of this will disappear into ancient history because of it. Least we got a great RT book. :)