Bremen, Germany, in August 2012. The 16 revised full papers presented were carefully