Automatic Test Bench Generation for Validation of RT-Level Descriptions: An Industrial Experience. - Fulvio Corno; Matteo Sonza Reorda; Giovanni Squillero; Alberto Manzone; Alessandro Pincetti (DATE, 2000)

Fault Tolerant Automotive Systems: An Overview. - Alberto Manzone; Alessandro Pincetti; Diego De Costantini (IOLTW, 2001)