EP2321729B1 - Method and Device for Analyzing an Execution of a Predetermined Program Flow on a Physical Computer System