AdaPower
Ada Tools and Resources

http://www.seas.gwu.edu/~mfeldman/ada-project-summary.html