Andrew Warfield Steven Hand Keir Fraser Tim Deegan Facilitating the Development of Soft Devices. 379-382 2005 conf/usenix/2005g USENIX Annual Technical Conference, General Track http://www.usenix.org/events/usenix05/tech/general/warfield.html db/conf/usenix/usenix2005g.html#WarfieldHFD05