AdaPower
Ada Tools and Resources

http://burks.bton.ac.uk/burks/language/ada/ada95.pdf