I've also responded to the author, pointing out
some of the recent Ada-related articles we've written (you know
those "minor" journals like IEEE Software, IEEE Transactions,
and CrossTalk... :-) ), the SPARK Book, the STC Conference
(I counted 5 Ada compiler vendors plus Praxis and PolySpace 
there in 2003...) and a few other matters...
 - Rod Chapman, SPARK Team, Praxis Critical Systems