An SMT Approach to Bounded Model Checking of Design in State Transition Matrix | IEEE Conference Publication | IEEE Xplore