Verification of a DSP IP cores by model checking. - H. N. Nguyen; P. Koumou; Bernard Candaele; Michel Sarlotte; Christian Antoine; S. Emeriau (HLDVT, 2002)

New safety critical radio altimeter for airbus and related design flow. - David Hairion; S. Emeriau; E. Combot; Michel Sarlotte (DATE, 2007)