A Semantics Modeling Approach Supporting Property Verification based on Satisfiability Modulo Theories | IEEE Conference Publication | IEEE Xplore