Nicola Bombieri Franco Fummi Graziano Pravadelli Sara Vinco Correct-by-construction generation of device drivers based on RTL testbenches. 1500-1505 2009 DATE http://ieeexplore.ieee.org/xpls/abs_all.jsp?isnumber=5090609&arnumber=5090900&count=326&index=286 conf/date/2009 db/conf/date/date2009.html#BombieriFPV09