Thomas Ball Ella Bounimova Byron Cook Vladimir Levin Jakob Lichtenberg Con McGarvey Bohus Ondrusek Sriram K. Rajamani Abdullah Ustuner Thorough static analysis of device drivers. 73-85 2006 conf/eurosys/2006 EuroSys http://doi.acm.org/10.1145/1217935.1217943 db/conf/eurosys/eurosys2006.html#BallBCLLMORU06