Credits Olivier Richard <olivier.richard@imag.fr> Michael Mercier <michael.mercier@inria.fr> Millian Poquet <millian.poquet@inria.fr> Raphaël Bleuse <raphael.bleuse@uni.lu> Valentin Reis <valentin.reis@inria.fr> Steffen Lackner <lackner@cs.tu-darmstadt.de>