6bcd4d6458430597e7e92630b545251b7958fabcfb89f130b7dfe70fefd1522e  Domain_Specific_Debugging_Tools_-_Volker_Krause.pdf