Cristiana Bolchini, Antonio Miele, Fabio Salice, Donatella Sciuto, Luigi Pomante: Reliable System Co-Design: The FIR Case Study. DFT 2004: 433-441