Este projecto será desenvolvido em parceria com o Max Planck Institute for Software Systems e o German Research Center for Artificial Intelligence.