Homepage Dr. Anne-Kathrin Schmuck Dr. Anne-Kathrin Schmuck Max Planck Institute for Software Systems, Kaiserslautern site akschmuck@mpi-sws.org