trace4cps-thesis