Marcello Lajolo, Maurizio Rebaudengo, Matteo Sonza Reorda, Massimo Violante, Luciano Lavagno. Evaluating System Dependability in a Co-Design Framework. In 2000 Design, Automation and Test in Europe (DATE 2000), 27-30 March 2000, Paris, France. pages 586-590, IEEE Computer Society, 2000. [doi]