Byron Cook: Finding Bugs in Device Drivers with Static Driver Verifier. Abstract State Machines 2005: 71