2013-08-12 21:37:16 http://hal.inria.fr/inria-00632259/PDF/TMA2012-LNCS.pdf