Automatic State Space Analysis for Modeling Untrusted Embedded Device Drivers | IEEE Conference Publication | IEEE Xplore