AdaPower
Ada Tools and Resources

http://www.it.bton.ac.uk/staff/je/adacraft/