LOTOS Code Generation for Model Checking of STBus Based SoC: the STBus interconnect. - Pierre Wodey; Geoffrey Camarroque; Fabrice Baray; Richard Hersemeule; Jean-Philippe Cousin (MEMOCODE, 2003)

Current and future trends in embedded VLIW microprocessors applied to multimedia and signal processing. - Giuseppe Desoli; Thierry Strudel; Jean-Philippe Cousin; Kaushik Saha (EUSIPCO, 2006)