SAT-Based Bounded Software Model Checking for Embedded Software: A Case Study | IEEE Conference Publication | IEEE Xplore