Tetsuro Katayama Keizo Saisho Akira Fukuda Proposal of a Support System for Device Driver Generation. 494- 1999 conf/apsec/1999 APSEC http://csdl.computer.org/comp/proceedings/apsec/1999/0509/00/05090494abs.htm db/conf/apsec/apsec1999.html#KatayamaSF99