http://conf.laas.fr/DCS2011