Max Planck Institute for Software Systems (MPI-SWS)
http://www.mpi-sws.org/
Germany
Inquire about license