SMT-Based Bounded Model Checking of Embedded Assembly Program with Interruptions | IEEE Conference Publication | IEEE Xplore