Thorough static analysis of device drivers. - Thomas Ball 001; Ella Bounimova; Byron Cook; Vladimir Levin; Jakob Lichtenberg; Con McGarvey; Bohus Ondrusek; Sriram K. Rajamani; Abdullah Ustuner (EuroSys, 2006)