Design of fixed-point embedded systems (DEFIS) French ANR project. - Daniel Ménard; Romuald Rocher; Olivier Sentieys; Nicolas Simon; Laurent-Stéphane Didier; Thibault Hilaire; Benoit Lopez; Eric Goubault; Sylvie Putot; Franck Védrine; Amine Najahi; Guillaume Revy; et al. (DASIP, 2012)