AdaPower
Ada Tools and Resources

http://www.cs.kuleuven.ac.be/~dirk/ada-belgium/aia/contents.html