On the verification of automotive protocols. - G. Zarri; Federico Colucci; F. Dupuis; Riccardo Mariani; Mario Pasquariello; G. Risaliti; C. Tibaldi (DATE Designers' Forum, 2006)

Using an innovative SoC-level FMEA methodology to design in compliance with IEC61508. - Riccardo Mariani; Gabriele Boschi; Federico Colucci (DATE, 2007)