Koen Yskout, Olivier-Nathanael Ben David, Riccardo Scandariato, Benoit Baudry. Talk at EternalS 2011 workshophttps://www.eternals.eu/workshop-2011/