Fulvio Corno Matteo Sonza Reorda Giovanni Squillero Alberto Manzone Alessandro Pincetti Automatic Test Bench Generation for Validation of RT-Level Descriptions: An Industrial Experience. 385-389 2000 conf/date/2000 DATE http://doi.ieeecomputersociety.org/10.1109/DATE.2000.840300 db/conf/date/date2000.html#CornoRSMP00