bed396c60e47c9712daf3ee5c33cf7a49ec19b8d  Domain_Specific_Debugging_Tools_-_Volker_Krause.pdf