A computational model for SAT-based verification of hardware-dependent low-level embedded system software | IEEE Conference Publication | IEEE Xplore