revised full papers presented together with 7 tool papers and 3 invited talks were