AdaPower
Ada Tools and Resources

http://www.liacc.up.pt/~maa/mneson/